Compactly Generating All Satisfying Truth Assignments of a Horn Formula.

Published in: J. Satisf. Boolean Model. Comput. (2012)

Keyphrases

np hard
horn clauses
truth values
genetic algorithm
multiscale
computational complexity
information retrieval
data structure
expert systems
special case
valued logic