A perspective on certain polynomial-time solvable classes of satisfiability.

John V. Franco Allen Van Gelder

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

Keyphrases

satisfiability problem
data mining
computational complexity
viewpoint
phase transition
bayesian networks
relational databases
special case
class hierarchy