Solving Partial Order Constraints for LPO Termination.

Michael Codish Vitaly Lagoon Peter J. Stuckey

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

Keyphrases

partial order
partially ordered
total order
constrained problems
set theory
conditional independencies
stable marriage
partial ordering
conceptual graphs
linear constraints
data mining
bayesian networks
sequential patterns
preference relations
vertex cover