Goyal K, Dumancic S, Blockeel H. DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction. AAAI [Internet]. 2024 Mar. 24 [cited 2026 May 18];38(11):12199-207. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/29109