A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems (1994)

by William Mccune
Citations:95 - 10 self

Documents Related by Co-Citation

294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
1072 A computing procedure for quantification theory – M Davis, H Putnam - 1960
679 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
529 A machine program for theoremproving – Martin Davis, George Logemann, Donald Loveland - 1962
3127 Introduction to Modern Information Retrieval – G Salton, M J McGill - 1983
522 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
708 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
729 L.C.: Isabelle/Hol: a Proof Assistant for Higher-Order Logic – T Nipkow, Paulson - 2004
624 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994