A symmetry breaking transition in the edge/triangle network model.
Charles RadinKui RenLorenzo SadunPublished in: CoRR (2016)
Keyphrases
- network model
- symmetry breaking
- constraint programming
- search tree
- global constraints
- immune algorithm
- quantified boolean formulae
- boolean satisfiability
- graph coloring
- constraint satisfaction problems
- neural network
- combinatorial problems
- gene regulatory networks
- boolean optimization
- symmetry breaking constraints
- integer linear programming
- state space