Solving Advanced Reasoning Tasks using Quantified Boolean Formulas (2000)

Cached

Download Links

by Uwe Egly , Thomas Eiter , Hans Tompits , Stefan Woltran
Citations:69 - 19 self

Documents Related by Co-Citation

11073 Computers and Intractability: A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
2359 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
140 An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation – Marco Cadoli, Marco Schaerf, Massimo Giovanardi, Massimo Giovanardi - 1999
752 A Machine Program for Theorem Proving – M Davis, G Logemann, D Loveland - 1962
1504 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
1435 A Logic for Default Reasoning – Raymond Reiter - 1980
145 Constructing Conditional Plans by a Theorem-Prover – Jussi Rintanen - 1999
1143 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
1082 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960