Spontaneous Symmetry Breaking and First-Order Phase Transitions of Adsorbed fluids.
Salvador A. SartarelliLeszek SzybiszIgnacio UrrutiaPublished in: Int. J. Bifurc. Chaos (2010)
Keyphrases
- phase transition
- symmetry breaking
- graph coloring
- constraint satisfaction
- constraint programming
- constraint satisfaction problems
- combinatorial problems
- boolean satisfiability
- satisfiability problem
- randomly generated
- first order logic
- np complete
- global constraints
- sat problem
- random constraint satisfaction problems
- random instances
- search tree
- integer linear programming
- constraint propagation
- np hard
- data structure
- arc consistency
- sat solvers
- linear programming
- computational complexity
- symmetry breaking constraints