Search w/in this Title for Titles All Reviews
	ACM Transactions on Computation Theory (TOCT) A C M (ASSN FOR COMPUTING MAC)         Options: Date Reviewed Title Author Publisher Published Date Descending Order Ascending Order     1-1 of 1 reviews Date Reviewed     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. Terms of Use | Privacy Policy