Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind. Memoization and DPLL: Formula Caching Proof Systems. In 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark. pages 248, IEEE Computer Society, 2003. [doi]
Abstract is missing.