Locating the phase transition in binary constraint satisfaction problemsThe progressive party problem: Integer linear programming and constraint programming compared
