Spontaneous Symmetry Breaking in Neural Networks.

Ricky Fok Aijun An Xiaogang Wang

Published in: CoRR (2017)

Keyphrases

symmetry breaking
neural network
constraint programming
search tree
global constraints
boolean satisfiability
quantified boolean formulae
artificial neural networks
integer linear programming
sat solvers
genetic algorithm
constraint satisfaction problems
graph coloring
lower bound
symmetry breaking constraints