A Boolean Encoding Including SAT and n-ary CSPs.

Lionel Paris Belaid Benhamou Pierre Siegel A Boolean Encoding Including SAT and n-ary CSPs. 33-44 2006 conf/aimsa/2006 AIMSA http://dx.doi.org/10.1007/11861461_6 db/conf/aimsa/aimsa2006.html#ParisBS06