Hard and Easy Distributions of SAT Problems

Cite this paper

@inproceedings{Mitchell1992HardAE, title={Hard and Easy Distributions of SAT Problems}, author={David G. Mitchell and Bart Selman and Hector J. Levesque}, booktitle={AAAI}, year={1992} }