Unsatisfied variables in local search - Gent, Ian P.; Walsh, T. (1994)