Beierle C, von Berg M, Sanin A. Realization of c-Inference as a SAT Problem. FLAIRS [Internet]. 2022 May 4 [cited 2025 Mar. 2];35. Available from: https://journals.flvc.org/FLAIRS/article/view/130663