Guiding Backtrack Search by Tracking Variables During Constraint Propagation.

Gilles Audemard, Christophe Lecoutre, Charles Prud'homme

Browse the full CP paper archive.