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]
Abstract is missing.