DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction.

Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel

Published in: AAAI (2024)

Keyphrases

constraint satisfaction
neural network
constraint satisfaction problems
heuristic search
neural nets
constraint programming
genetic algorithm
learning process
fault diagnosis
reinforcement learning
objective function
back propagation
phase transition
relaxation labeling
robust fault detection