Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura. Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. International Journal on Artificial Intelligence Tools, 26(1):1-29, 2017. [doi]

Abstract

Abstract is missing.