Balazs Erdelyi

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Modulo Theories

Optimal Scheduling

Sensor Networks

Top Venues

Publications

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