Beierle, C.; von Berg, M.; Sanin, A. Realization of C-Inference As a SAT Problem. FLAIRS 2022, 35.