Combining Partial Order and Symmetry Reductions.

E. Allen Emerson Somesh Jha Doron A. Peled

Published in: TACAS (1997)

Keyphrases

partial order
partially ordered
total order
partial ordering
stable marriage
conceptual graphs
set theory
vertex cover
causal links
preference relations
lattice structure
logic programs
sequential patterns
data mining
dominance relation
logical formulas
temporal planning
maximum weight
multi dimensional