Jeffrey M. Dudek

activity

20172020

k

-CNF and XOR Phase-Transitions

9 citations · 9 across the 2 of their papers we have counts for

collaborators

Showing cs.DMShow all

2 papers · 1 filter

cs.DM2017

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

Recent universal-hashing based approaches to sampling and counting crucially depend on the runtime performance of SAT solvers on formulas expressed as the conjunction of both CNF c…

cs.DM2017★ 9 cited

Combining the $k$ -CNF and XOR Phase-Transitions

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

The runtime performance of modern SAT solvers on random $k$ -CNF formulas is deeply connected with the 'phase-transition' phenomenon seen empirically in the satisfiability of random…

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas

Combining the k-CNF and XOR Phase-Transitions

Combining the $k$ -CNF and XOR Phase-Transitions