Similar Items: An integer linear programming model of a university soccer timetabling problem
- An integer linear programming model of a university course timetabling problem
- An Integer Linear Programming Model for the Examination Timetabling Problem: A Case Study of a University in Thailand
- Integer linear programming for contrasting state interventions in Boolean networks
- Optimal configuration of distributed power flow controller to enhance system loadability via mixed integer linear programming
- sweap: Reactive Synthesis for Infinite-State Integer Problems
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic