Deciding Global Partial-Order Properties.

Rajeev Alur Kenneth L. McMillan Doron A. Peled

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

partial order
partially ordered
total order
stable marriage
set theory
lattice structure
partial ordering
totally ordered
conceptual graphs
preference relations
causal links
data mining
vertex cover
dominance relation
multi dimensional
search algorithm
reinforcement learning