Efficient Partial Order CDCL Using Assertion Level Choice Heuristics

Anthony Monnet Roger Villemaire

Published in: CoRR (2013)

Keyphrases

partial order
partially ordered
total order
sat solvers
data structure
dynamic programming
orders of magnitude