Paul Beame, Russell Impagliazzo, Toniann Pitassi, Nathan Segerlind. Formula Caching in DPLL. TOCT, 1(3), 2010. [doi]
@article{BeameIPS10, title = {Formula Caching in DPLL}, author = {Paul Beame and Russell Impagliazzo and Toniann Pitassi and Nathan Segerlind}, year = {2010}, doi = {10.1145/1714450.1714452}, url = {http://doi.acm.org/10.1145/1714450.1714452}, tags = {caching}, researchr = {https://researchr.org/publication/BeameIPS10}, cites = {0}, citedby = {0}, journal = {TOCT}, volume = {1}, number = {3}, }