Solving Partial Order Constraints for LPO Termination.

Michael Codish Vitaly Lagoon Peter J. Stuckey

Published in: RTA (2006)

Keyphrases

partial order
partially ordered
total order
partial ordering
constrained problems
lattice structure
constraint satisfaction
temporal planning
stable marriage
conceptual graphs
set theory
bayesian networks
conditional independencies
totally ordered