LP Deadlock Checking Using Partial Order Dependencies.

Victor Khomenko Maciej Koutny

Published in: CONCUR (2000)

Keyphrases

partial order
partially ordered
total order
linear programming
stable marriage
partial ordering
linear program
set theory
lattice structure
conceptual graphs
constraint propagation
bayesian networks
domain specific
np hard
special case
vertex cover
search algorithm