Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona. Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 1028-1035, IEEE, 2013. [doi]
@inproceedings{NguyenVB13-0,
title = {Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT},
author = {Van-Hau Nguyen and Miroslav N. Velev and Pedro Barahona},
year = {2013},
doi = {10.1109/ICTAI.2013.154},
url = {http://dx.doi.org/10.1109/ICTAI.2013.154},
researchr = {https://researchr.org/publication/NguyenVB13-0},
cites = {0},
citedby = {0},
pages = {1028-1035},
booktitle = {2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013},
publisher = {IEEE},
}