The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.

Yehuda Naveh

Browse the full SAT paper archive.