11      Biblioteche di benchmarck ed altre risorse

Molti di questi problemi sono stati raccolti in biblioteche di benchmarck. Una delle più vecchie è la biblioteca di benchmarck che è stata sviluppata per la DIMACS International Algorithm Implementation Challenge del 1993. Molte centinaia di problemi da questa competizione possono essere trovati a: ftp://dimacs.rutgers.edu/pub/challenge/soddisfacibilità/benchmarks/cnf/.

Questa competizione ha proposto anche un formato testo semplice per specificare problemi di soddisfacibilità che da allora è diventato uno standard.

Un’altra biblioteca di benchmarck è stata creata per International Competition and Symposium on Satisfiability Testing tenuto nel marzo 1996 a Beijing. I problemi da questa biblioteca sono disponibili presso: http://www.cirl.uoregon.edu/jc/beijing.

Più recentemente, Hoos e Stutzle hanno creato la biblioteca di SATLIB a  http://www.informatik.tu­darmstadt.de/AI/SATLIB, che contiene molti problemi benchmarck, con link ai vari risolutori e altre risorse.