Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem.
Shuting CaiYoshitaka WatanabePublished in: J. Comput. Appl. Math. (2021)
Keyphrases
- computer assisted
- symmetry breaking
- computer aided
- constraint programming
- intraoperative
- search tree
- integer linear programming
- graph coloring
- boolean satisfiability
- global constraints
- search space
- symmetry breaking constraints
- constraint satisfaction problems
- theorem prover
- reading comprehension
- propositional satisfiability