Anbulagan, AnbuSlaney, John K2015-12-07November 11613-0073http://hdl.handle.net/1885/25158High-performance SAT solvers based on systematic search generally use either conflict driven clause learning (CDCL) or lookahead techniques to gain efficiency. Both styles of reasoning can gain from a preprocessing phase in which some form of deduction isKeywords: Clause learning; Empirical examination; Gain efficiency; Preprocessing phase; SAT solvers; Systematic searches; Artificial intelligence20062016-02-24