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

by I P Gent, E MacIntyre, P Prosser, B Smith, T Walsh
Venue:in: Proc. CP-96, Lecture Notes in Computer Science