TY  - RPRT
TI  - DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction
AU  - Kshitij Goyal
AU  - Sebastijan Dumancic
AU  - Hendrik Blockeel
PY  - 2023
UR  - https://arxiv.org/abs/2303.01141
ID  - 2303.01141
ER  -