Task Scheduling with Nonlinear Costs using SMT Solvers.

Mohammad Hekmatnejad Giulia Pedrielli Georgios Fainekos

Published in: CASE (2019)

Keyphrases

modulo theories
scheduling algorithm
computing environments
total cost
computing systems
sensor networks
np complete
sat solvers
resource management
quantified boolean formulas