A scenario for symmetry breaking in Caffarelli-Kohn-Nirenberg inequalities.
Jean DolbeaultMaria J. EstebanPublished in: J. Num. Math. (2012)
Keyphrases
- symmetry breaking
- constraint programming
- search tree
- global constraints
- boolean satisfiability
- quantified boolean formulae
- integer linear programming
- constraint satisfaction problems
- graph coloring
- symmetry breaking constraints
- evolutionary algorithm
- special case
- search strategies
- sat solvers
- combinatorial problems
- boolean optimization