Login / Signup

On the Boolean Connectivity Problem for Horn Relations.

Kazuhisa MakinoSuguru TamakiMasaki Yamamoto
Published in: SAT (2007)
Keyphrases
  • np hard
  • horn clauses
  • boolean functions
  • neural network
  • medical images
  • temporal relations