Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alan Skelley
Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
Proceedings of the AAAI Conference on Artificial Intelligence
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Backdoor Sets of Quantified Boolean Formulas
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
The Complexity of Reasoning With Boolean Modal Logics
Learning and Verifying Quantified Boolean Queries by Example
Possibilistic Boolean Games: Strategic Reasoning Under Incomplete Information
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Spherical Constraint in Boolean Quadratic Programs
Journal of Global Optimization
Control
Optimization
Applied Mathematics
Management Science
Computer Science Applications
Operations Research
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical