Gilles Audemard, Christophe Lecoutre, Charles Prud'homme. Guiding Backtrack Search by Tracking Variables During Constraint Propagation. In Roland H. C. Yap, editor, 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. Volume 280 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]