most citedConflict-Driven XOR-Clause Learning (extended version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2014★ 1 cited

Conflict-Driven XOR-Clause Learning (extended version)

Tero Laitinen, Tommi Junttila, Ilkka Niemelä

Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas. However, some application problems involve lots of parity…