@inproceedings{BofillPSV13modref,
	Address = {Uppsala, Sweden},
	Author = {Miquel Bofill and Miquel Palah\'{\i} and Josep Suy and Mateu Villaret},
	Booktitle = {Proceedings of the 12th International Workshop on Constraint Modelling and Reformulation (ModRef 2013)},
	Month = {September},
	Pages = {57--73},
	Title = {Boosting Weighted CSP Resolution with Shared BDDs},
	Year = {2013}}