An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem (1996)

by I Gent, E MacIntyre, P Prosser, B Smith, T Walsh
Venue:In Principles and Practice of Constraint Programming-CP’96. LNCS No