Solving the all-interval series problem: SAT vs CP.
Van-Hau NguyenSon Thai MaiPublished in: SoICT (2014)
Keyphrases
- stochastic local search
- sat instances
- np complete problems
- sat solving
- constraint programming
- satisfiability problem
- sat solvers
- search algorithm
- variable ordering
- orders of magnitude
- propositional satisfiability
- combinatorial optimization
- neural network
- boolean optimization
- search strategies
- solving hard
- weighted max sat