Pages that link to "Item:Q5458346"
From MaRDI portal
The following pages link to Rocket-Fast Proof Checking for SMT Solvers (Q5458346):
Displaying 7 items.
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- A unified framework for DPLL(T) + certificates (Q2375732) (← links)
- A framework for certified Boolean branch-and-bound optimization (Q2429985) (← links)
- SMT proof checking using a logical framework (Q2441776) (← links)
- versat: A Verified Modern SAT Solver (Q2891429) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)
