Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Browse the full SAT paper archive.