Solving Constraint Satisfaction Problems with SAT Technology.

Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara

Browse the full FLOPS paper archive.