@inproceedings{BofillEPV12prole,
	Address = {Almer\'ia, Spain},
	Author = {Miquel Bofill and Joan Espasa and Miquel Palah\'{\i} and Mateu Villaret},
	Booktitle = {XII Spanish Conference on Programming and Computer Languages (PROLE 2012)},
	Month = {September},
	Pages = {141--155},
	Title = {An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints},
	Year = {2012}}
