@inproceedings{AnsoteguiBPSV11modref,
  author = {Carlos Ans{\'o}tegui and Miquel Bofill and Miquel Palah{\'{\i}} and Josep Suy and Mateu Villaret},
  title = {{A Proposal for Solving Weighted CSPs with SMT}},
  booktitle = {10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011)},
  year = {2011},
  pages = {5--19},
  address = {Perugia, Italy}
}