%0 Journal Article %1 journals/scheduling/HorbachBB12 %A Horbach, Andrei %A Bartsch, Thomas %A Briskorn, Dirk %D 2012 %J J. Scheduling %K dblp %N 1 %P 117-125 %T Using a SAT-solver to schedule sports leagues. %U http://dblp.uni-trier.de/db/journals/scheduling/scheduling15.html#HorbachBB12 %V 15

@article{journals/scheduling/HorbachBB12, added-at = {2018-11-30T00:00:00.000+0100}, author = {Horbach, Andrei and Bartsch, Thomas and Briskorn, Dirk}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26f9be2b43e18d2f91361cda4ae33ea7e/dblp}, ee = {https://doi.org/10.1007/s10951-010-0194-9}, interhash = {6e52660df98412a13b09c7b9e576ab73}, intrahash = {6f9be2b43e18d2f91361cda4ae33ea7e}, journal = {J. Scheduling}, keywords = {dblp}, number = 1, pages = {117-125}, timestamp = {2019-09-27T11:35:07.000+0200}, title = {Using a SAT-solver to schedule sports leagues.}, url = {http://dblp.uni-trier.de/db/journals/scheduling/scheduling15.html#HorbachBB12}, volume = 15, year = 2012 }