SATLIB: An Online Resource for Research on (2000)

by H H Hoos, T Stützle