From Declarative Set Constraint Models to "Good" SAT Instances.

Frdric Lardeux, ric Monfroy

Browse the full AISC paper archive.