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]

Possibly Related Publications

The following publications are possibly variants of this publication: