From Set Constraint Models to SAT Instances.

Frdric Lardeux, ric Monfroy

Browse the full ICTAI paper archive.