TY  - RPRT
TI  - Certifiable Boolean Reasoning Is Universal
AU  - Wenhao Li
AU  - Anastasis Kratsios
AU  - Hrad Ghoukasian
AU  - Dennis Zvigelsky
PY  - 2026
UR  - https://arxiv.org/abs/2602.05120
ID  - 2602.05120
ER  -