Beierle, Christoph, Martin von Berg, and Arthur Sanin. “Realization of C-Inference As a SAT Problem”. The International FLAIRS Conference Proceedings 35 (May 4, 2022). Accessed March 14, 2025. https://journals.flvc.org/FLAIRS/article/view/130663.