Adrián Rebola-Pardo

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 8

Top Topics

Top Venues

Publications

Adrián Rebola-Pardo
Even shorter proofs without new variables. CoRR (2023)
Adrián Rebola-Pardo
Even Shorter Proofs Without New Variables. SAT (2023)
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere
Simulating Strong Practical Proof Systems with Extended Resolution. J. Autom. Reason. 64 (7) (2020)
Adrián Rebola-Pardo, Georg Weissenbacher
RAT Elimination. LPAR (2020)
Adrián Rebola-Pardo, Armin Biere
Two flavors of DRAT. POS@SAT (2018)
Adrián Rebola-Pardo, Martin Suda
A Theory of Satisfiability-Preserving Proofs in SAT Solving. LPAR (2018)
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule
Extended Resolution Simulates DRAT. IJCAR (2018)
Tobias Philipp, Adrián Rebola-Pardo
Towards a Semantics of Unsatisfiability Proofs with Inprocessing. LPAR (2017)