Cadoli, M., Giovanardi, A., Schaerf, M.: An Algorithm to Evaluate Quantified Boolean Formulae. In: Proc. of the 15th Nat. Conf. on Artificial Intelligence. (1998) 262--267 Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
I N F S Y S R E S E a R C H - Institut Ur Informationssysteme (Correct)
Complexity Results for Explanations in the Structural-Model.. - Eiter, Lukasiewicz (2002) (Correct)
Algorithms for Logic-Based Abduction - Anja Remshagen And (Correct)
Optimizing a BDD-based Modal Solver - Pan, Vardi (Correct)
On Computing Solutions to Belief Change Scenarios - Delgrande, al. (2003) (Correct)
Default Reasoning from Conditional Knowledge Bases.. - Eiter, Lukasiewicz (2000) (2 citations) (Correct)
Modal Nonmonotonic Logics Revisited: Efficient.. - Eiter, Klotz.. (2002) (Correct)
Fault Tolerance Analysis of Distributed.. - Feldmann, Haubelt.. (2003) (Correct)
Finding Small Unsatisfiable Cores to Prove.. - Interian, Corvera.. (Correct)
On Computing Belief Change Operations Using Quantified.. - Delgrande, Schaub, al. (Correct)
Encoding Connect-4 Using Quantified Boolean Formulae - Gent, Rowley (2003) (Correct)
Encoding Quantified CSPs as Quantified Boolean Formulae - Gent, Nightingale, Rowley (2004) (Correct)
Solution Learning and Solution Directed Backjumping, Revisited - Gent, Rowley (2004) (Correct)
A Polynomial Translation of Logic Programs with.. - Pearce, Sarsakov, .. (2002) (6 citations) (Correct)
A Constraint-Propagation Approach to Quantified Constraints - Bordeaux (Correct)
Using Stochastic Local Search to Solve Quantified Boolean.. - Gent, Hoos, Rowley, Smyth (2003) (1 citation) (Correct)
Algorithms for Quantified Constraint Satisfaction Problems - Nikos Mamoulis Department (2004) (1 citation) (Correct)
Using Stochastic Local Search to Solve Quantified - Boolean Formulae Ian (2003) (1 citation) (Correct)
An Analysis of Empirical Testing for Modal Decision.. - Horrocks.. (2000) (22 citations) (Correct)
Watching Clauses in Quantified Boolean Formulae - Andrew Rowley University (2003) (Correct)
Paraconsistent Reasoning via Quantified Boolean.. - Besnard, Schaub.. (Correct)
Using Stochastic Local Search to Solve Quantified Boolean.. - Gent, Hoos, Rowley, Smyth (2003) (1 citation) (Correct)
Algorithms and Experiments on Finding Minimal - Models Paolo Liberatore (Correct)
On Deciding Subsumption Problems - Egly, Pichler, Woltran (2003) (1 citation) (Correct)
Complexity of Nested Circumscription and Nested.. - Cardoli, Eiter, Gottlob (2002) Self-citation (Cadoli) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC