Task Scheduling with Nonlinear Costs using SMT Solvers | IEEE Conference Publication | IEEE Xplore