SAT is tantalizingly simple to describe and is an intense rabbit-hole if you are intellectually curious. I liked the article. The SAT Competition [1] is a good

SAT is tantalizingly simple to describe and is an intense rabbit-hole if you are intellectually curious. I liked the article. The SAT Competition [1] is a good place to find state of the art. [1]: http://www.satcompetition.org/ http://www.satcompetition.org/