Balazs Erdelyi

According to our database, Balazs Erdelyi authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2017

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers.

Gergely Kovásznai, Csaba Biró, Balazs Erdelyi

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017