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