SAT Efficient Conflict Driven Learning in a Boolean Satisfiability Solver Empirical Study of the Anatomy of Modern Sat Solvers Minimizing Learned Clauses Engineering an efficient SAT solver Branching Using Rewarding Mechanisms for Improving Branching Heuristics The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving The Effect of VSIDS on SAT Solver Performance Ranking Algorithms Eigenvector Centrality