Solving Advanced Reasoning Tasks using Quantified Boolean Formulas (2000)

Cached

Download Links

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

Documents Related by Co-Citation

138 An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation – Marco Cadoli, Marco Schaerf, Massimo Giovanardi, Massimo Giovanardi - 1999
140 Constructing Conditional Plans by a Theorem-Prover – Jussi Rintanen - 1999
25 Resolution for quantified Boolean formulas – H Kleine-Büning, M Karpinski, A Flögel - 1995
65 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
2331 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
53 A Distributed Algorithm to Evaluate Quantified Boolean Formulae – Rainer Feldmann, Burkhard Monien, Stefan Schamberger - 2000
76 Resolution for quantified boolean formulas – Hans Kleine Büning, Marek Karpinski, Andreas Flögel - 1995
73 Improvements to the evaluation of quantified Boolean formulae – Jussi Rintanen - 1999
73 Backjumping for Quantified Boolean Logic Satisfiability – Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella - 2001
56 sKizzo: a suite to evaluate and certify QBFs – Marco Benedetti - 2005
104 Resolve and Expand – Armin Biere - 2004
737 A Machine program for theorem proving – G Logemann M Davis, D Loveland
1490 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
1420 A logic for default reasoning – R Reiter - 1980
258 Smodels - an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs – Ilkka Niemelä, Patrik Simons - 1997
278 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