@misc{softcsp,
author = "S. de Givry and F. Heras and J. Jarrosa and E. Rollon and T. Schiex",
howpublished = "textsfcarlit.toulouse.inra.fr/cgi-bin/awki.cgi/softcsp",
title = "{T}he {S}oft{CSP} and {M}ax-{SAT} benchmarks and
                   algorithm web site.",
year = "2003",
}