Personnel Scheduling as Satisfiability Modulo Theories.

Christoph Erkinger, Nysret Musliu

Browse the full IJCAI paper archive.