Login / Signup
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation.
Ratan Nalumasu
Ganesh Gopalakrishnan
Published in:
Formal Methods Syst. Des. (2002)
Keyphrases
</>
partial order
partially ordered
total order
partial ordering
stable marriage
sequential patterns
lattice structure
feature space
totally ordered
decision making
vertex cover
causal links