概述

1. Handbook of Satisfiability 2009
2. "Handbook of Practical Logic and Automated Reasoning, " by John R. Harrison, Cambridge University Press, 2009 Wiedijk, Freek J. Autom. Reason. 2012

并行求解

1. IJCAI

   Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method Heule, Marijn J. H., Kullmann, Oliver, and Marek, Victor W. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 2017
2. SAT

   Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer Heule, Marijn J. H., Kullmann, Oliver, and Marek, Victor W. In Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings 2016
3. AAAI

   Schur Number Five Heule, Marijn J. H. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018 2018
4. CAD

   The Resolution of Keller’s Conjecture Brakensiek, Joshua, Heule, Marijn, Mackey, John, and Narváez, David In Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I 2020

证明检验

1. ITP

   Efficient, Verified Checking of Propositional Proofs Heule, Marijn, Jr., Warren A. Hunt, Kaufmann, Matt, and Wetzler, Nathan In Interactive Theorem Proving - 8th International Conference, ITP 2017, Brası́lia, Brazil, September 26-29, 2017, Proceedings 2017
2. CADE

   A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Blanchette, Jasmin Christian, Fleury, Mathias, and Weidenbach, Christoph In Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings 2016
3. CPP

   A verified SAT solver with watched literals using imperative HOL Fleury, Mathias, Blanchette, Jasmin Christian, and Lammich, Peter In Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 2018
4. CADE

   Efficient Verified (UN)SAT Certificate Checking Lammich, Peter In Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings 2017

硬件验证

1. IEEE

   Boolean Satisfiability Solvers and Their Applications in Model Checking Vizel, Yakir, Weissenbacher, Georg, and Malik, Sharad Proc. IEEE 2015
2. TACAS

   Symbolic Model Checking without BDDs Biere, Armin, Cimatti, Alessandro, Clarke, Edmund M., and Zhu, Yunshan In Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS ’99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings 1999
3. CAV

   Applying SAT Methods in Unbounded Symbolic Model Checking McMillan, Kenneth L. In Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings 2002
4. CAV

   Interpolation and SAT-Based Model Checking McMillan, Kenneth L. In Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 2003
5. CAV

   Lazy Abstraction with Interpolants McMillan, Kenneth L. In Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006
6. VMCAI

   SAT-Based Model Checking without Unrolling Bradley, Aaron R. In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings 2011
7. FMCAD

   Efficient implementation of property directed reachability Eén, Niklas, Mishchenko, Alan, and Brayton, Robert K. In International Conference on Formal Methods in Computer-Aided Design, FMCAD ’11, Austin, TX, USA, October 30 - November 02, 2011 2011