Beierle, C., von Berg, M. and Sanin, A. (2022) “Realization of c-Inference as a SAT Problem”, The International FLAIRS Conference Proceedings, 35. doi: 10.32473/flairs.v35i.130663.