Boolean satisfiability: theory and engineering

Vardi, Moshe Y., ‘Boolean satisfiability’: ‘Boolean satisfiability: theory and engineering’, Communications of the ACM 57.3 (2014), p 5.

journal article · https://doi.org/10.1145/2578043