K. Goyal, S. Dumancic, and H. Blockeel, “DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction”, AAAI, vol. 38, no. 11, pp. 12199–12207, Mar. 2024.