Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction

Romanelli Lodron Zuim, José T. de Sousa, Claudionor N. Coelho. Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction. IET Computers & Digital Techniques, 2(1):30-39, 2008. [doi]

Abstract

Abstract is missing.