Between symmetry and asymmetry: spontaneous symmetry breaking as narrative knowing.
Arianna BorrelliPublished in: Synth. (2021)
Keyphrases
- symmetry breaking
- constraint programming
- search tree
- quantified boolean formulae
- global constraints
- integer linear programming
- symmetry breaking constraints
- boolean satisfiability
- graph coloring
- constraint satisfaction problems
- propositional satisfiability
- constraint propagation
- evolutionary algorithm
- sat solvers
- constraint satisfaction
- orders of magnitude
- query processing