C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Transforming Quantified Boolean Formulas Using Biclique Covers.
Oliver Kullmann
Ankit Shukla
Published in:
TACAS (2) (2023)
Keyphrases
</>
quantified boolean formulas
decision procedures
reasoning tasks
universally quantified
propositional satisfiability
search algorithm
machine learning
description logics
boolean formula