DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction.

Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel

Browse the full AAAI paper archive.