SATLIB: An online resource for research on SAT (2000)

by H H Hoos, T Stützle
Venue:in: Proc. of SAT’2000 (IOS