Learning and Verifying Quantified Boolean Queries by Example

doi 10.1145/2463664.2465220
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Semantic Queries by Example

2013English

Verifying Spatial Queries Using Voronoi Neighbors

2010English

Backdoor Sets of Quantified Boolean Formulas

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

Nonmonotonic Reasoning With Quantified Boolean Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Fuzzy Quantified Queries to Fuzzy RDF Databases

2017English

A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Queries and Concept Learning

Machine Learning
Artificial IntelligenceSoftware
1988English

Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability

IPSJ Transactions on System LSI Design Methodology
Electronic EngineeringComputer Science ApplicationsElectrical
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy