Narrow search
Showing 1 - 3 of 3
Cover Image
Optimally scheduling real world sports leagues by reduction to SAT
Horbach, Andrei; Bartsch, Thomas; Briskorn, Dirk - 2009
Persistent link: https://www.econbiz.de/10003849950
Cover Image
Using a SAT-solver to schedule sports leagues
Horbach, Andrei; Bartsch, Thomas; Briskorn, Dirk - In: Journal of scheduling 15 (2012) 1, pp. 117-125
Persistent link: https://www.econbiz.de/10009523346
Cover Image
Optimally scheduling real world sports leagues by reduction to SAT
Horbach, Andrei; Bartsch, Thomas; Briskorn, Dirk - 2009
Persistent link: https://www.econbiz.de/10011325642