Round robin SAT instances used in AAAI-2000
"Solving the Round Robin Problem Using Propositional Logic"
rr8.cnf.gz
rr10.cnf.gz
rr12.cnf.gz
rr14.cnf.gz
rr16.cnf.gz
rr18.cnf.gz
rr20.cnf.gz
ramon@eup.udl.es