Sign in

Solving dependency quantified Boolean formulas using quantifier localization.

Aile Ge-ErnstChristoph SchollJuraj SícRalf Wimmer
Published in: Theor. Comput. Sci. (2022)
Keyphrases
  • quantified boolean formulas
  • decision procedures
  • boolean formula
  • combinatorial optimization
  • reasoning tasks
  • expert systems