A Compact and Efficient SAT-Encoding of Finite Domain CSP.

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Browse the full SAT paper archive.