Login / Signup
Towards Prevention of Sportsmen Burnout: Formal Analysis of Sub-Optimal Tournament Scheduling.
Syed Rameez Naqvi
Adnan Ahmad
S. M. Riazul Islam
Tallha Akram
Mohammad Abdullah-Al-Wadud
Atif Alamri
Published in:
CoRR (2021)
Keyphrases
</>
formal analysis
optimal solution
scheduling problem
formal methods
dynamic programming
agent model
lower bound
optimal scheduling
wireless sensor networks
worst case
response time
resource allocation
parallel machines
round robin
ban logic