collaborators

1 paper

cs.AI2019

Phase Transition Behavior of Cardinality and XOR Constraints

Yash Pote, Saurabh Joshi, Kuldeep S. Meel

The runtime performance of modern SAT solvers is deeply connected to the phase transition behavior of CNF formulas. While CNF solving has witnessed significant runtime improvement…