Hantao Zhang, Dapeng Li, Haiou Shen
A SAT Based Scheduler for Tournament Schedules
SAT, 2004.
@inproceedings{SAT-2004-ZhangLS, author = "Hantao Zhang and Dapeng Li and Haiou Shen", booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}", ee = "http://www.satisfiability.org/SAT04/programme/74.pdf", pages = "191--196", title = "{A SAT Based Scheduler for Tournament Schedules}", year = 2004, }