Complexity of Generalized Satisfiability Counting Problems.

Nadia Creignou Miki Hermann

Published in: Inf. Comput. (1996)

Keyphrases

decision problems
computational complexity
np complete
optimization problems
database
satisfiability problem
propositional logic
search space
evolutionary algorithm
benchmark problems
problems involving
solving problems
np hardness