Olivier Roussel. Another SAT to CSP Conversion. In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA. pages 558-565, IEEE Computer Society, 2004. [doi]
@inproceedings{Roussel04,
title = {Another SAT to CSP Conversion},
author = {Olivier Roussel},
year = {2004},
doi = {10.1109/ICTAI.2004.33},
url = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2004.33},
researchr = {https://researchr.org/publication/Roussel04},
cites = {0},
citedby = {0},
pages = {558-565},
booktitle = {16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2236-X},
}