Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. - Gergely Kovásznai; Csaba Biró; Balazs Erdelyi (SMT, 2017)