Sign in

Compactly Generating All Satisfying Truth Assignments of a Horn Formula.

Marcel Wild
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