Moving Definition Variables in Quantified Boolean Formulas.

Joseph E. Reeves Marijn J. H. Heule Randal E. Bryant

Published in: TACAS (1) (2022)

Keyphrases

quantified boolean formulas
universally quantified
reasoning tasks
boolean formula
decision procedures
machine learning
knowledge base
situation calculus
evolutionary algorithm
orders of magnitude
uniform distribution