Adrin Rebola-Pardo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2017–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAT | Even Shorter Proofs Without New Variables. | Adrin Rebola-Pardo |
| 2020 | LPAR | RAT Elimination. | Adrin Rebola-Pardo, Georg Weissenbacher |
| 2018 | CADE | Extended Resolution Simulates DRAT. | Benjamin Kiesl, Adrin Rebola-Pardo, Marijn J. H. Heule |
| 2018 | LPAR | A Theory of Satisfiability-Preserving Proofs in SAT Solving. | Adrin Rebola-Pardo, Martin Suda |
| 2018 | SAT | Two flavors of DRAT. | Adrin Rebola-Pardo, Armin Biere |
| 2017 | LPAR | Towards a Semantics of Unsatisfiability Proofs with Inprocessing. | Tobias Philipp, Adrin Rebola-Pardo |