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

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

Browse the full ICTAI paper archive.