TY  - RPRT
TI  - The Compilability Thresholds of 2-CNF to OBDD
AU  - Alexis de Colnet
AU  - Alfons Laarman
AU  - Joon Hyung Lee
PY  - 2026
UR  - https://arxiv.org/abs/2603.15463
ID  - 2603.15463
ER  -