Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Chris Pollett
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Experimenting With Nonmonotonic Reasoning
Nonmonotonic Reasoning
Computers and Mathematics with Applications
Mathematics
Computational Mathematics
Simulation
Modeling
Computational Theory
Classical Methods in Nonmonotonic Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Backdoor Sets of Quantified Boolean Formulas
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report
The Complexity of Reasoning With Boolean Modal Logics
Learning and Verifying Quantified Boolean Queries by Example
