Hard and Easy Distributions of SAT Problems


We report results from large-scale experiments in satis-ability testing. As has been observed by others, testing the satissability of random formulas often appears surprisingly easy. Here we show that by using the right distribution of instances, and appropriate parameter values, it is possible to generate random formulas that are hard, that is, for which satissability testing is quite diicult. Our results provide a benchmark for the evaluation of satissability-testing procedures.

Extracted Key Phrases

Citations per Year

1,059 Citations

Semantic Scholar estimates that this publication has 1,059 citations based on the available data.

See our FAQ for additional information.

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} }