Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae.

Marco Cadoli Andrea Giovanardi Marco Schaerf

Published in: AI*IA (1997)

Keyphrases

computational cost
quantified boolean formulae
propositional logic
symmetry breaking
knowledge compilation
belief revision
quantified boolean formulas
artificial intelligence
computational complexity
constraint programming
search tree
graph coloring
davis putnam