Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà. Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing, 19(1-3):3-23, 2012. [doi]
@article{ArgelichCLM12,
title = {Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT},
author = {Josep Argelich and Alba Cabiscol and Inês Lynce and Felip Manyà},
year = {2012},
url = {http://www.oldcitypublishing.com/MVLSC/MVLSCabstracts/MVLSC18.5-6abstracts/MVLSCv18n5-6p445-456Zou.html},
researchr = {https://researchr.org/publication/ArgelichCLM12},
cites = {0},
citedby = {0},
journal = {Multiple-Valued Logic and Soft Computing},
volume = {19},
number = {1-3},
pages = {3-23},
}