Goyal, K.; Dumancic, S.; Blockeel, H. DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction. AAAI 2024, 38, 12199-12207.