Collaborated with:
G.Pedrielli Georgios Fainekos
Talks about:
nonlinear (1) schedul (1) solver (1) task (1) cost (1) use (1) smt (1)
Person: Mohammad Hekmatnejad
DBLP: Hekmatnejad:Mohammad
Contributed to:
Wrote 1 papers:
- CASE-2019-HekmatnejadPF #scheduling #smt #using
- Task Scheduling with Nonlinear Costs using SMT Solvers (MH, GP, GF), pp. 183–188.