Modeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles. - Dana Pordel; Lars Petersson; Shahin Namin; Adrian Rebola-Pardo (Intelligent Vehicles Symposium, 2015)

DRAT Proofs for XOR Reasoning. - Tobias Philipp; Adrian Rebola-Pardo (JELIA, 2016)

Fuzzing and Verifying RAT Refutations with Deletion Information. - Walter Forkel; Tobias Philipp; Adrian Rebola-Pardo; Elias Werner (FLAIRS, 2017)

Towards a Semantics of Unsatisfiability Proofs with Inprocessing. - Tobias Philipp; Adrián Rebola-Pardo (LPAR, 2017)

Extended Resolution Simulates DRAT. - Benjamin Kiesl; Adrián Rebola-Pardo; Marijn J. H. Heule (IJCAR, 2018)

Complete and Efficient DRAT Proof Checking. - Adrian Rebola-Pardo; Luís Cruz-Filipe (FMCAD, 2018)

A Theory of Satisfiability-Preserving Proofs in SAT Solving. - Adrián Rebola-Pardo; Martin Suda 001 (LPAR, 2018)

Two flavors of DRAT. - Adrián Rebola-Pardo; Armin Biere (POS@SAT, 2018)

Frying the egg, roasting the chicken: unit deletions in DRAT proofs. - Johannes Altmanninger; Adrian Rebola-Pardo (CPP, 2020)

RAT Elimination. - Adrián Rebola-Pardo; Georg Weissenbacher (LPAR, 2020)

Simulating Strong Practical Proof Systems with Extended Resolution. - Benjamin Kiesl; Adrián Rebola-Pardo; Marijn J. H. Heule; Armin Biere (J. Autom. Reason., 2020)

Even Shorter Proofs Without New Variables. - Adrián Rebola-Pardo (SAT, 2023)

Quantifier Shifting for Quantified Boolean Formulas Revisited. - Simone Heisinger; Maximilian Heisinger; Adrian Rebola-Pardo; Martina Seidl (IJCAR (1), 2024)

FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas. - Marcel Simader; Adrian Rebola-Pardo; Martina Seidl (SAC, 2025)