Pages that link to "Item:Q2891429"

The following pages link to versat: A Verified Modern SAT Solver (Q2891429):

Displaying 13 items.

• A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
• Efficient, verified checking of propositional proofs (Q1687744) (← links)
• A flexible proof format for SAT solver-elaborator communication (Q2044190) (← links)
• Verifying the conversion into CNF in dafny (Q2148786) (← links)
• \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)
• A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Q2817909) (← links)
• SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers (Q2818043) (← links)
• An Expressive Model for Instance Decomposition Based Parallel SAT Solvers (Q2964456) (← links)
• (Q5094131) (← links)
• Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
• (Q6060676) (← links)
• \textsc{Carcara}: an efficient proof checker and elaborator for SMT proofs in the Alethe format (Q6535368) (← links)
• Verified AIG algorithms in ACL2 (Q6587256) (← links)