Solving Advanced Reasoning Tasks using Quantified Boolean Formulas (2000)

Cached

Download Links

by Uwe Egly , Thomas Eiter , Hans Tompits , Stefan Woltran
Citations:68 - 20 self

Documents Related by Co-Citation

141 An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation – Marco Cadoli, Marco Schaerf, Massimo Giovanardi, Massimo Giovanardi - 1999
142 Constructing Conditional Plans by a Theorem-Prover – Jussi Rintanen - 1999
26 Resolution for quantified Boolean formulas – H Kleine-Büning, M Karpinski, A Flögel - 1995
66 QUBE: A system for deciding quantified boolean formulas satisfiability – Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella - 2001
43 Beyond NP: the QSAT phase transition – Ian P. Gent, Toby Walsh - 1999
2350 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
53 A Distributed Algorithm to Evaluate Quantified Boolean Formulae – Rainer Feldmann, Burkhard Monien, Stefan Schamberger - 2000
76 U.: Theory of quantified boolean formulas – H K Büning, Bubeck - 2009
74 Improvements to the evaluation of quantified Boolean formulae – Jussi Rintanen - 1999
76 Backjumping for Quantified Boolean Logic Satisfiability – Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella - 2001
57 sKizzo: a suite to evaluate and certify QBFs – Marco Benedetti - 2005
105 Resolve and Expand – Armin Biere - 2004
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
1430 A logic for default reasoning – R Reiter - 1980
259 Smodels - an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs – Ilkka Niemelä, Patrik Simons - 1997
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
28 Quantified Boolean Formulas satisfiability library (QBFLIB – E Giunchiglia, M Narizzano, L Pulina, A Tacchella - 2001
15 dcs: An Implementation of DATALOG with Constraints – Deborah East, Miroslaw Truszczynski - 2000