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 ]