Automated testing and debugging of SAT and QBF solvers – Related Work – Interesting papers

Automated testing and debugging of SAT and QBF solvers

Robert Brummayer, Florian Lonsing, Armin Biere
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Theory and Applications of Satisfiability Testing - SAT 2010
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 44-57
2010
Note(s): SMT solver, SAT solver
Papers: mansur:arxiv:2020, stump:fmsd:2013

Proofs in satisfiability modulo theories [barrett:mlf:2015]
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing [mansur:arxiv:2020]
SMT proof checking using a logical framework [stump:fmsd:2013]

The opinions expressed are my own views and not my employer’s.