Sign in

SAT-Encodings for Treecut Width and Treedepth.

Robert GanianNeha LodhaSebastian OrdyniakStefan Szeider
Published in: ALENEX (2019)
Keyphrases
  • sat encodings
  • sat solvers
  • combinatorial problems
  • graph coloring
  • constraint satisfaction problems
  • integer linear programming
  • linear arithmetic constraints
  • data structure
  • dynamic programming
  • genetic programming