Solving dependency quantified Boolean formulas using quantifier localization.

Aile Ge-Ernst Christoph Scholl Juraj Síc Ralf Wimmer

Published in: Theor. Comput. Sci. (2022)

Keyphrases

quantified boolean formulas
decision procedures
boolean formula
combinatorial optimization
reasoning tasks
expert systems