Sibylle Möhle and Armin Biere. Backing Backtracking. In: Theory and Applications of Satisfiability Testing (SAT). Lecture Notes in Computer Science, vol. 11628, pages 250–266. Springer 2019. [ paper | slides ]