Solving Partial Order Constraints for LPO Termination

Michael Codish Vitaly Lagoon Peter J. Stuckey

Published in: CoRR (2005)

Keyphrases

partial order
partially ordered
total order
constrained problems
stable marriage
partial ordering
lattice structure
temporal planning
constraint satisfaction
conceptual graphs
integrity constraints
linear constraints
dominance relation
totally ordered
causal links