SATLIB: An Online Resource for Research on SAT (2000)

by Holger H. Hoos , Thomas Stützle
Citations:93 - 5 self