A New Method for Solving Hard Satisfiability Problems

Sorry, there's nothing here.
050100'93'96'99'02'05'08'11'14'17
Citations per Year

1,434 Citations

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

See our FAQ for additional information.

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