Solving Over-Constrained Problems with SAT Technology.

Josep Argelich, Felip Many

Browse the full SAT paper archive.