Verifying Partial Orders

Claire Kenyon-Mathieu Valerie King

Published in: STOC (1989)

Keyphrases

partial order
partially ordered
total order
lattice structure
partial ordering
stable marriage
model checking
vertex cover
totally ordered
np hard
sequential patterns
preference relations