TY  - RPRT
TI  - An Exponential Separation between Deterministic CDCL and DPLL Solvers
AU  - Sahil Samar
AU  - Marc Vinyals
AU  - Vijay Ganesh
PY  - 2026
DO  - 10.4230/lipics.sat.2026.30
UR  - https://arxiv.org/abs/2603.16156
ID  - 2603.16156
ER  -