-CNF Formulas.

Akihiro Matsuura

Published in: IEICE Trans. Inf. Syst. (2005)

Keyphrases

cnf formula
np complete
max sat
knowledge compilation
sat problem
conjunctive normal form
stable set
propositional formulas
lower bound
expert systems
retrieval effectiveness
boolean formula
information retrieval
tabu search
constraint satisfaction problems
computational complexity
search algorithm
knowledge base