Constraint satisfaction: The approximability of minimization problemsS. KhannaM. Sudanet al.1997CCC 1997