Extended resolution simulates DRAT
From MaRDI portal
Publication:1799112
Recommendations
Cited in
(13)- Certified dominance and symmetry breaking for combinatorial optimisation
- On a generalization of extended resolution
- DRAT proofs, propagation redundancy, and extended resolution
- Simulating strong practical proof systems with extended resolution
- Extended resolution simulates binary decision diagrams
- Strong extension-free proof systems
- What a difference a variable makes
- Flexible proof production in an industrial-strength SMT solver
- The proof complexity of SMT solvers
- Inconsistency proofs for ASP: the ASP-DRUPE format
- DRAT proofs for XOR reasoning
- scientific article; zbMATH DE number 7350778 (Why is no real title available?)
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML
This page was built for publication: Extended resolution simulates \({\mathsf{DRAT}}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799112)