Encoding Protest Duration In An Agent-Based Model As Characteristic Phase Transitions.
Brian J. GoodeBianica PiresPublished in: ANNSIM (2022)
Keyphrases
- phase transition
- constraint satisfaction
- random constraint satisfaction problems
- satisfiability problem
- randomly generated
- hard problems
- combinatorial problems
- np complete
- random instances
- graph coloring
- np complete problems
- sat problem
- random graphs
- cellular automata
- deep structure
- boolean formulae
- constraint satisfaction problems
- stochastic local search
- sat instances
- heuristic search