Bart Selman, Hector J. Levesque, David G. Mitchell. A New Method for Solving Hard Satisfiability Problems. In AAAI. pages 440-446, 1992.
@inproceedings{SelmanLM92,
title = {A New Method for Solving Hard Satisfiability Problems},
author = {Bart Selman and Hector J. Levesque and David G. Mitchell},
year = {1992},
researchr = {https://researchr.org/publication/SelmanLM92},
cites = {0},
citedby = {0},
pages = {440-446},
booktitle = {AAAI},
}