ViolationLS: Constraint-Based Local Search in CP-SAT.
Toby O. DaviesFrédéric DidierLaurent PerronPublished in: CPAIOR (1) (2024)
Keyphrases
- constraint programming
- propositional satisfiability
- search strategies
- constraint satisfaction problems
- constraint satisfaction
- symmetry breaking
- combinatorial problems
- boolean satisfiability
- sat solvers
- sat problem
- constraint propagation
- phase transition
- satisfiability problem
- variable ordering
- backtracking search
- sat solving
- graph coloring
- sat encodings
- np complete
- search algorithm
- max sat
- stochastic local search
- industrial applications
- conjunctive normal form
- stochastic local search algorithms