Pages that link to "Item:Q5919480"
From MaRDI portal
The following pages link to Efficient verified (UN)SAT certificate checking (Q5919480):
Displaying 9 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)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
- Propositional proof skeletons (Q6535365) (← links)
- Unsatisfiability proofs for distributed clause-sharing SAT solvers (Q6535367) (← links)
- Explainable online monitoring of metric temporal logic (Q6536149) (← links)
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL (Q6611963) (← links)
