SATLIB: An online resource for research on (2000)

by H H Hoos, T Stützle