Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Satisfiability Checking of Non-clausal Formulas Using General Matings , 2006, SAT.
[2] Peter B. Andrews. An introduction to mathematical logic and type theory - to truth through proof , 1986, Computer science and applied mathematics.
[3] Joao Marques-Silva,et al. GRASP-A new search algorithm for satisfiability , 1996, Proceedings of International Conference on Computer Aided Design.
[4] Armin Biere,et al. Effective Preprocessing in SAT Through Variable and Clause Elimination , 2005, SAT.
[5] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.
[6] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[7] Karem A. Sakallah,et al. GRASP—a new search algorithm for satisfiability , 1996, ICCAD 1996.
[8] G. S. Tseitin. On the Complexity of Derivation in Propositional Calculus , 1983 .
[9] Edmund M. Clarke,et al. Verification using satisfiability checking, predicate abstraction, and craig interpolation , 2008 .
[10] Adnan Darwiche,et al. A Lightweight Component Caching Scheme for Satisfiability Solvers , 2007, SAT.
[11] Sharad Malik,et al. Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver , 2002, DAC '02.
[12] Eugene Goldberg,et al. BerkMin: A Fast and Robust Sat-Solver , 2002, Discret. Appl. Math..
[13] Armin Biere,et al. PicoSAT Essentials , 2008, J. Satisf. Boolean Model. Comput..
[14] Alan Mishchenko,et al. Applying Logic Synthesis for Speeding Up SAT , 2007, SAT.
[15] Toby Walsh,et al. Solving Non-clausal Formulas with DPLL search , 2004, SAT.
[16] Kwang-Ting Cheng,et al. A circuit SAT solver with signal correlation guided learning , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.