Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.

Frdric Lardeux, ric Monfroy, Frdric Saubion

Browse the full AIMSA paper archive.