TY  - RPRT
TI  - Proofdoors and Efficiency of CDCL Solvers
AU  - Sunidhi Singh
AU  - Vincent Liew
AU  - Marc Vinyals
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2603.26286
ID  - 2603.26286
ER  -