This paper makes several contributions to Conflict Driven Clauses Learning (CDCL), which is one of the key components of modern SAT solvers. First, we show that, given an implication graph, asserting ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results