Login / Signup

sKizzo: A Suite to Evaluate and Certify QBFs.

Marco Benedetti
Published in: CADE (2005)
Keyphrases
  • quantified boolean formulas
  • quantified boolean formulae
  • information systems