On the Boolean connectivity problem for Horn relations.

Kazuhisa Makino Suguru Tamaki Masaki Yamamoto

Published in: Discret. Appl. Math. (2010)

Keyphrases

real valued
semantic relations
np hard
horn clauses
special case
spatial relations
boolean functions
real time
decision trees
connected components
propositional logic