A Boolean Encoding Including SAT and n-ary CSPs.

Lionel Paris, Belaid Benhamou, Pierre Siegel

Browse the full AIMSA paper archive.