Searching for Monochromatic-Square-Free Ramsey Grid Colorings via SAT Solvers.
Paul WaltonWing Ning LiPublished in: ICISA (2013)
Keyphrases
- sat solvers
- search strategies
- max sat
- graph coloring
- orders of magnitude
- propositional satisfiability
- sat solving
- constraint satisfaction
- sat instances
- search tree
- sat problem
- boolean satisfiability
- clause learning
- search space
- lower bound
- clause learning sat solvers
- search strategy
- industrial applications
- boolean formula
- search engine
- answer sets
- satisfiability problem
- symmetry breaking
- branch and bound
- linear programming
- co occurrence
- weighted max sat