Login / Signup

Backdoor Sets of Quantified Boolean Formulas.

Marko SamerStefan Szeider
Published in: SAT (2007)
Keyphrases
  • quantified boolean formulas
  • artificial intelligence
  • decision procedures
  • universally quantified
  • expert systems
  • first order logic
  • horn clauses