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

  • Gent I
  • MacIntyre E
  • Prosser P
 et al. 
  • 17


    Mendeley users who have this article in their library.
  • 72


    Citations of this article.


The constraint satisfaction community has developed a number
of heuristics for variable ordering during backtracking search. For
in conjunction with algorithms which check forwards, the Fail-First
and Brelaz (Bz) heuristics are cheap to evaluate and are generally
to be very effective. Recent work to understand phase transitions in
NP-complete problem classes enables us to compare such heuristics
over a
large range of different kinds of problems. Furthermore, we are now
to start to understand the reasons for the success, and therefore
also the
failure, of heuristics, and to introduce new heuristics which achieve
the successes
and avoid the failures. In this paper, we present a comparison of the
Bz and FF heuristics in forward checking algorithms applied to
binary CSP's. We also introduce new and very general heuristics
and present an extensive study of these. These new heuristics are
as good as or better than Bz and FF, and we id...

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Ian P. Gent

  • Ewan MacIntyre

  • Patrick Prosser

  • Barbara M. Smith

  • Toby Walsh

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free