Login / Signup
Personnel Scheduling as Satisfiability Modulo Theories.
Christoph Erkinger
Nysret Musliu
Published in:
IJCAI (2017)
Keyphrases
</>
satisfiability modulo theories
modulo theories
scheduling problem
answer set programming
expert systems
query language
sat solvers