Constraint Metrics for Local Search

SAT (2005), pp. 269-281

Abstract