Login / Signup
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems.
Alice Tarzariol
Konstantin Schekotihin
Martin Gebser
Mark Law
Published in:
Theory Pract. Log. Program. (2022)
Keyphrases
</>
combinatorial problems
constraint programming
constraint satisfaction problems
constraint satisfaction
metaheuristic
graph coloring
combinatorial optimization
symmetry breaking
phase transition
solving hard
traveling salesman problem
neural network
data structure
special case
graph colouring