Three Is a Crowd: SAT, SMT and CLP on a Chessboard.
Sebastian KringsMichael LeuschelPhilipp KörnerStefan HallerstedeMiran HasanagicPublished in: PADL (2018)
Keyphrases
- modulo theories
- constraint logic programming
- answer set programming
- logic programs
- city block
- stable model semantics
- logic programming
- sat solvers
- satisfiability modulo theories
- answer sets
- constraint programming
- distance transform
- sat problem
- crowd sourced
- statistical machine translation
- max sat
- propositional satisfiability
- satisfiability problem
- word alignment
- sat solving
- lower bound
- constraint solving
- sat encodings
- orders of magnitude
- search space