Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos
Task Scheduling with Nonlinear Costs using SMT Solvers
CASE, 2019.
@inproceedings{CASE-2019-HekmatnejadPF, author = "Mohammad Hekmatnejad and Giulia Pedrielli and Georgios Fainekos", booktitle = "{Proceedings of the 15th International Conference on Automation Science and Engineering}", doi = "10.1109/COASE.2019.8843048", isbn = "978-1-7281-0356-3", pages = "183--188", publisher = "{IEEE}", title = "{Task Scheduling with Nonlinear Costs using SMT Solvers}", year = 2019, }