Dynamic Partial Order Reductions for Spinloops.

Michalis Kokologiannakis Xiaowei Ren Viktor Vafeiadis

Published in: FMCAD (2021)

Keyphrases

partial order
partially ordered
total order
partial ordering
lattice structure
totally ordered
stable marriage
conceptual graphs
dominance relation
rough sets
maximum weight
vertex cover