Solving the Round Robin Problem Using Propositional Logic
Abstract
In this paper we present a new and extremely competitive approach to solving a notoriously hard problem from the sports scheduling domain, the round robin problem. By combining local search satisfiability algorithms and an appropriate problem encoding based on classical propositional logic, we are able to find feasible schedules many times faster than using the best existing approaches to the round robin problem. Moreover, using this scheduling as satisfiability approach we are able to solve a previously unsolved instance, the round robin problem for 20 teams.
Cite
Text
Béjar and Manyà. "Solving the Round Robin Problem Using Propositional Logic." AAAI Conference on Artificial Intelligence, 2000.Markdown
[Béjar and Manyà. "Solving the Round Robin Problem Using Propositional Logic." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/bejar2000aaai-solving/)BibTeX
@inproceedings{bejar2000aaai-solving,
title = {{Solving the Round Robin Problem Using Propositional Logic}},
author = {Béjar, Ramón and Manyà, Felip},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2000},
pages = {262-266},
url = {https://mlanthology.org/aaai/2000/bejar2000aaai-solving/}
}