Goyal, K., Dumancic, S., & Blockeel, H. (2024). DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction. Proceedings of the AAAI Conference on Artificial Intelligence, 38(11), 12199–12207. https://doi.org/10.1609/aaai.v38i11.29109