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

Tomoya Tanjo Naoyuki Tamura Mutsunori Banbara A Compact and Efficient SAT-Encoding of Finite Domain CSP. 375-376 2011 SAT http://dx.doi.org/10.1007/978-3-642-21581-0_36 conf/sat/2011 db/conf/sat/sat2011.html#TanjoTB11