Solving E-Squaro through SAT-Coding.
Éric GrégoireAtef HasniBertrand MazureCédric PiettePublished in: ICTAI (2013)
Keyphrases
- stochastic local search
- coding scheme
- sat instances
- sat solvers
- boolean optimization
- sat encodings
- satisfiability problem
- boolean satisfiability
- sat solving
- np complete problems
- phase transition
- graph coloring
- variable ordering
- combinatorial problems
- search strategies
- propositional satisfiability
- orders of magnitude
- genetic algorithm