versat: A Verified Modern SAT Solver
Abstract elided by the publisher.
Related papers
- A verified SAT solver with watched literals using imperative HOL CPP 2018
- Satune: synthesizing efficient SAT encoders OOPSLA 2020
- From Clauses to Klauses CAV 2024
- Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution) TACAS 2019
- Verifying x86 instruction implementations CPP 2020
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021
- Program analysis via satisfiability modulo path programs POPL 2010
- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving TACAS 2023