Selman, B., Levesque, H., & Mitchell, D. (1992). A new method for solving hard satisfiability problems. In Proceedings of AAAI-92, pp. 440-446. AAAI/MIT Press.
author author author author author author author date title title title title title title title title booktitle booktitle booktitle booktitle pages pages publisher publisher