A SAT Based Scheduler for Tournament Schedules.

Hantao Zhang, Dapeng Li, Haiou Shen

Browse the full SAT paper archive.