Inclusion-exclusion for k-CNF formulas.

Kazuyuki Amano Kazuo Iwama Akira Maruoka Kenshi Matsuo Akihiro Matsuura

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

Keyphrases

cnf formula
np complete
max sat
sat problem
stable set
knowledge compilation
propositional formulas
conjunctive normal form
satisfiability problem
phase transition
knowledge base
constraint satisfaction
constraint satisfaction problems
np hard
evolutionary algorithm
relational databases
computational complexity