A New Method for Solving Hard Satisfiability Problems

Cite this paper

@inproceedings{Selman1992ANM, title={A New Method for Solving Hard Satisfiability Problems}, author={Bart Selman and Hector J. Levesque and David G. Mitchell}, booktitle={AAAI}, year={1992} }