Quantifier Shifting for Quantified Boolean Formulas Revisited.

Simone Heisinger Maximilian Heisinger Adrian Rebola-Pardo Martina Seidl

Published in: IJCAR (1) (2024)

Keyphrases

quantified boolean formulas
decision procedures
universally quantified
reasoning tasks
propositional satisfiability
artificial intelligence
industrial applications