Login / Signup

Solving Quantified Boolean Formulas with Few Existential Variables.

Leif ErikssonVictor LagerkvistGeorge OsipovSebastian OrdyniakFahad PanolanMateusz Rychlicki
Published in: CoRR (2024)
Keyphrases
  • quantified boolean formulas
  • universally quantified
  • boolean formula
  • reasoning tasks
  • practical problems
  • search algorithm
  • special case