Goyal, Kshitij, Sebastijan Dumancic, and Hendrik Blockeel. 2024. “DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (11):12199-207. https://doi.org/10.1609/aaai.v38i11.29109.