Login / Signup

Personnel Scheduling as Satisfiability Modulo Theories.

Christoph ErkingerNysret Musliu
Published in: IJCAI (2017)
Keyphrases
  • satisfiability modulo theories
  • modulo theories
  • scheduling problem
  • answer set programming
  • expert systems
  • query language
  • sat solvers