Pages that link to "Item:Q2891429"
From MaRDI portal
The following pages link to versat: A Verified Modern SAT Solver (Q2891429):
Displaying 6 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)
- (Q6060676) (← links)
