Combining Parallel Emptiness Checks with Partial Order Reductions.

Denis Poitrenaud Etienne Renault

Published in: ICFEM (2019)

Keyphrases

partial order
partially ordered
total order
lattice structure
set theory
partial ordering
stable marriage
dominance relation
shared memory
temporal planning
totally ordered
data mining
special case
graphical models