A Unified Framework for Certificate and Compilation for QBF.

Igor Stéphan Benoit Da Mota

Published in: ICLA (2009)

Keyphrases

quantified boolean formulas
quantified boolean formulae
knowledge compilation
prime implicates
programming language
decision procedures
lower bound
relational databases
code generation
public key infrastructure