w/in this Title
ACM Transactions on Computation Theory (TOCT)
A C M (ASSN FOR COMPUTING MAC)
1-1 of 1 reviews
Formula caching in DPLL
Beame P., Impagliazzo R., Pitassi T., Segerlind N. ACM Transactions on Computation Theory (TOCT) 1(3): 1-33, 2010. Type: Article
The DPLL algorithm is a satisfiability-based algorithm. The authors consider in this paper the extension of the DPLL approach to satisfiability checking, by adding memoization, which means saving previously solved subproblems for later use (also...
Nov 30 2010
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2013 ThinkLoud, Inc.