A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura. A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. In 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015. pages 421-428, IEEE, 2015. [doi]

Abstract

Abstract is missing.