Pages that link to "Item:Q5919480"
From MaRDI portal
The following pages link to Efficient verified (UN)SAT certificate checking (Q5919480):
Displayed 6 items.
- Generating extended resolution proofs with a BDD-based SAT solver (Q2044191) (← links)
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)
- (Q5094131) (← links)
- A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver (Q6082228) (← links)
- Never trust your solver: certification for SAT and QBF (Q6118810) (← links)