Login / Signup

SAT Encodings for the Car Sequencing Problem.

Valentin Mayer-EichbergerToby Walsh
Published in: POS@SAT (2013)
Keyphrases
  • sat encodings
  • sat solvers
  • constraint satisfaction problems
  • combinatorial problems
  • planning problems
  • graph coloring
  • linear arithmetic constraints
  • constraint programming
  • linear programming
  • temporal reasoning