C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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