TY  - RPRT
TI  - SaDe: Learning Models that Provably Satisfy Domain Constraints
AU  - Kshitij Goyal
AU  - Sebastijan Dumancic
AU  - Hendrik Blockeel
PY  - 2022
UR  - https://arxiv.org/abs/2112.00552
ID  - 2112.00552
ER  -