The following pages link to Adrián Rebola-Pardo (Q1799111):
Displayed 5 items.
- Extended resolution simulates \({\mathsf{DRAT}}\) (Q1799112) (← links)
- Simulating strong practical proof systems with extended resolution (Q2209554) (← links)
- DRAT Proofs for XOR Reasoning (Q2835888) (← links)
- Towards a Semantics of Unsatisfiability Proofs with Inprocessing (Q4645727) (← links)
- A Theory of Satisfiability-Preserving Proofs in SAT Solving (Q5222981) (← links)