Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret. Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints, 18(2):236-268, 2013. [doi]
@article{AnsoteguiBPSV13, title = {Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories}, author = {Carlos Ansótegui and Miquel Bofill and Miquel Palahí and Josep Suy and Mateu Villaret}, year = {2013}, doi = {10.1007/s10601-012-9131-1}, url = {http://dx.doi.org/10.1007/s10601-012-9131-1}, researchr = {https://researchr.org/publication/AnsoteguiBPSV13}, cites = {0}, citedby = {0}, journal = {Constraints}, volume = {18}, number = {2}, pages = {236-268}, }