SATLIBSatisfiability Library
References in periodicals archive ?
This was also pointed out by Toby Walsh in his keynote lecture, in which he reported on his experiences with the development of and and on his observations of the CSP and SAT competitions.
Data were obtained from the Carnegie Mellon University SatLib Library, and from Sharelynx Gold.