%0 Conference Paper %1 conf/ijcai/ErkingerM17 %A Erkinger, Christoph %A Musliu, Nysret %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K dblp %P 614-621 %T Personnel Scheduling as Satisfiability Modulo Theories. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#ErkingerM17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/ErkingerM17, added-at = {2019-08-20T00:00:00.000+0200}, author = {Erkinger, Christoph and Musliu, Nysret}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20cfedb94680a0b82561abb8a913ce877/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/86}, interhash = {fdbf5422cef11ff9144b96c0afb57ee4}, intrahash = {0cfedb94680a0b82561abb8a913ce877}, isbn = {978-0-9992411-0-3}, keywords = {dblp}, pages = {614-621}, publisher = {ijcai.org}, timestamp = {2019-09-27T18:31:30.000+0200}, title = {Personnel Scheduling as Satisfiability Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#ErkingerM17}, year = 2017 }