Pages that link to "Item:Q1799112"
From MaRDI portal
The following pages link to Extended resolution simulates \({\mathsf{DRAT}}\) (Q1799112):
Displaying 7 items.
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
- Simulating strong practical proof systems with extended resolution (Q2209554) (← links)
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)
- Strong extension-free proof systems (Q2303251) (← links)
- (Q4989407) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)