Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos. Task Scheduling with Nonlinear Costs using SMT Solvers. In 15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, BC, Canada, August 22-26, 2019. pages 183-188, IEEE, 2019. [doi]
@inproceedings{HekmatnejadPF19,
title = {Task Scheduling with Nonlinear Costs using SMT Solvers},
author = {Mohammad Hekmatnejad and Giulia Pedrielli and Georgios Fainekos},
year = {2019},
doi = {10.1109/COASE.2019.8843048},
url = {https://doi.org/10.1109/COASE.2019.8843048},
researchr = {https://researchr.org/publication/HekmatnejadPF19},
cites = {0},
citedby = {0},
pages = {183-188},
booktitle = {15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, BC, Canada, August 22-26, 2019},
publisher = {IEEE},
isbn = {978-1-7281-0356-3},
}