List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Even shorter proofs without new variables | 2024-11-26 | Paper |
| Simulating strong practical proof systems with extended resolution Journal of Automated Reasoning | 2020-11-02 | Paper |
| A theory of satisfiability-preserving proofs in SAT solving EPiC Series in Computing | 2019-07-04 | Paper |
| Towards a Semantics of Unsatisfiability Proofs with Inprocessing EPiC Series in Computing | 2019-01-10 | Paper |
| Extended resolution simulates \({\mathsf{DRAT}}\) | 2018-10-18 | Paper |
| DRAT proofs for XOR reasoning Logics in Artificial Intelligence | 2016-11-30 | Paper |
Research outcomes over time
This page was built for person: Adrián Rebola-Pardo
