Erkinger and Musliu. "Personnel Scheduling as Satisfiability Modulo Theories." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/86
Markdown
[Erkinger and Musliu. "Personnel Scheduling as Satisfiability Modulo Theories." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/erkinger2017ijcai-personnel/) doi:10.24963/IJCAI.2017/86
BibTeX
@inproceedings{erkinger2017ijcai-personnel,
title = {{Personnel Scheduling as Satisfiability Modulo Theories}},
author = {Erkinger, Christoph and Musliu, Nysret},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {614-621},
doi = {10.24963/IJCAI.2017/86},
url = {https://mlanthology.org/ijcai/2017/erkinger2017ijcai-personnel/}
}