Using Code Generation to Solve Open Instances of Combinatorial Design Problems
arxiv.org