TY - STD AU - Givry, S. de AU - Heras, F. AU - Jarrosa, J. AU - Rollon, E. AU - Schiex, T. PY - 2003// TI - The SoftCSP and Max-SAT benchmarks and algorithm web site. ID - softcsp ER -