@misc{indiciae0e1c37a02445, title = {Certifiable Boolean Reasoning Is Universal}, author = {Wenhao Li and Anastasis Kratsios and Hrad Ghoukasian and Dennis Zvigelsky}, year = {2026}, url = {https://arxiv.org/abs/2602.05120}, note = {Source identifier: 2602.05120} }