Partial Order Reductions Using Compositional Confluence Detection.

Frédéric Lang Radu Mateescu

Published in: FM (2009)

Keyphrases

partial order
partially ordered
total order
object detection
set theory
lattice structure
detection algorithm
detection method
partial ordering
vertex cover
stable marriage
false positives
data streams
graphical models
dominance relation
maximum weight