Efficient Partial Order CDCL Using Assertion Level Choice Heuristics

Anthony Monnet, Roger Villemaire

We previously designed Partial Order Conflict Driven Clause Learning (PO-CDCL), a variation of the satisfiability solving CDCL algorithm with a partial order on decision levels, an…