Beierle, C. et al. 2022. Realization of c-Inference as a SAT Problem. The International FLAIRS Conference Proceedings. 35, (May 2022). DOI:https://doi.org/10.32473/flairs.v35i.130663.