Proving Valid Quantified Boolean Formulas in HOL Light.

Published in: ITP (2011)

Keyphrases

quantified boolean formulas
decision procedures
reasoning tasks
universally quantified
theorem prover
theorem proving
boolean formula
artificial intelligence
propositional satisfiability
evolutionary algorithm
special case
logic programs
modal logic