Moshe Y. Vardi: Boolean satisfiability: theory and engineering. (2014) journals/cacm/Vardi14a 10.1145/2578043 Boolean satisfiability: theory and engineering. 1 Moshe Y. Vardi 1 5 Commun. ACM Commun. ACM 57 3 2014