A SAT Based Scheduler for Tournament Schedules.
Hantao ZhangDapeng LiHaiou ShenPublished in: SAT (2004)
Keyphrases
- round robin tournament
- scheduling problem
- bounded model checking
- answer set programming
- sat solvers
- scheduling algorithm
- ai planning
- integer programming
- constraint solver
- sat encodings
- version space
- answer sets
- temporal logic
- neural network
- scheduling policies
- electric vehicles
- constraint networks
- constraint logic programming
- data sets
- boolean satisfiability
- logic programs
- machine learning
- response time