@conference{Heras2005,
author = "J. Larrosa and F. Heras",
address = "ijcai05l",
booktitle = "ijcai05p",
pages = "193-198",
title = "{R}esolution in {M}ax-{SAT} and its relation to local
                   consistency in weighted {CSP}s",
year = "2005",
}