Complexity Versus Stability for Classes of Propositional Formulas.

Published in: Inf. Process. Lett. (1998)

Keyphrases

propositional formulas
propositional logic
computational complexity
database systems
normal form
artificial intelligence
bayesian networks
sat problem