Initial investigations of hybrid thermodynamic control systems with phase transitions.
Dmitry GromovPeter E. CainesPublished in: WODES (2010)
Keyphrases
- phase transition
- control system
- constraint satisfaction
- random constraint satisfaction problems
- satisfiability problem
- randomly generated
- np complete
- deep structure
- sat problem
- graph coloring
- combinatorial problems
- hard problems
- random instances
- random graphs
- experimental data
- stochastic local search
- np complete problems
- cellular automata
- model checking
- boolean formulae