About this scholarly article

2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings by Soh, Takehide; Banbara, Mutsunori; Tamura, Naoyuki is a scholarly article available to read on EtoBox.

Author

Soh, Takehide; Banbara, Mutsunori; Tamura, Naoyuki

Publisher

IEEE

Published

2015