Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Azza Abouzied
Learning and Verifying Quantified Boolean Queries by Example
Seer
Related publications
Semantic Queries by Example
Verifying Spatial Queries Using Voronoi Neighbors
Backdoor Sets of Quantified Boolean Formulas
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy Quantified Queries to Fuzzy RDF Databases
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
Proceedings of the AAAI Conference on Artificial Intelligence
Queries and Concept Learning
Machine Learning
Artificial Intelligence
Software
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
