DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction.

Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel

Published in: CoRR (2023)

Keyphrases

constraint satisfaction
neural network
constraint satisfaction problems
learning algorithm
learning process
heuristic search
neural nets
constraint solving
reinforcement learning
genetic algorithm
constraint programming
phase transition
constraint propagation