Boosting SAT Solver Performance via a New Hybrid Approach1
Lei Fang, Michael S. Hsiao · Journal on Satisfiability Boolean Modeling and Computation · 2008
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We propose a Hybrid Solution to boost SAT solver performance in this paper, v