@inbook {IIIA-2007-1541, title = {The Logic Behind Weighted CSP}, booktitle = {Future and Trends in Constraint Programming}, year = {2007}, pages = {307-320}, publisher = {ISTE}, organization = {ISTE}, author = {Carlos Ans{\'o}tegui and Mar{\'\i}a Luisa Bonet and Jordi Levy and Felip Many{\`a}}, editor = {Frederic Benhamou, Narendra Jussien and Barry O{\textquoteright}Sullivan} }