avatar

Adrian Rebola-Pardo
(he/they)

Postdoc University Assistant

Vienna University of Technology
adrian.rebola (at) tuwien.ac.at

Johannes Kepler University Linz
adrian.rebola_pardo (at) jku.at


Publications [Google Scholar] [DBLP]

  1. FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas (2025)
    Marcel Simader, Adrian Rebola-Pardo, Martina Seidl
    40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025, to appear)
    Preprint

  2. Quantifier Shifting for Quantified Boolean Formulas Revisited (2024)
    Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
    12th International Joint Conference on Automated Reasoning (IJCAR 2024)
    PDF BibTex Full version

  3. Even Shorter Proofs Without New Variables (2023)
    Adrian Rebola-Pardo
    26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
    PDF BibTex Full version

  4. Simulating Strong Practical Proof Systems with Extended Resolution (2020)
    Benjamin Kiesl, Adrian Rebola-Pardo, Marijn J. H. Heule, Armin Biere
    Journal of Automated Reasoning (JAR)
    PDF BibTex

  5. Frying the egg, roasting the chicken: unit deletions in DRAT proofs (2020)
    Johannes Altmanninger, Adrian Rebola-Pardo
    9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)
    PDF BibTex

  6. RAT Elimination (2020)
    Adrián Rebola-Pardo, Georg Weissenbacher
    23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)
    PDF BibTex

  7. Extended Resolution Simulates DRAT (2018)
    Benjamin Kiesl, Adrian Rebola-Pardo, Marijn J. H. Heule
    9th International Joint Conference on Automated Reasoning (IJCAR 2018)
    PDF BibTex

  8. Complete and Efficient DRAT Proof Checking (2018)
    Adrian Rebola-Pardo, Luis Cruz-Filipe
    2018 Formal Methods in Computer Aided Design (FMCAD 2018)
    PDF BibTex

  9. A Theory of Satisfiability-Preserving Proofs in SAT Solving (2018)
    Adrian Rebola-Pardo, Martin Suda
    22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22)
    PDF BibTex

  10. Two flavors of DRAT (2018)
    Adrian Rebola-Pardo, Armin Biere
    Pragmatics of SAT 2018 (POS 2018)
    PDF BibTex

  11. Fuzzing and Verifying RAT Refutations with Deletion Information (2017)
    Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner
    30th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2017)
    PDF BibTex

  12. Towards a Semantics of Unsatisfiability Proofs with Inprocessing (2017)
    Tobias Philipp, Adrian Rebola-Pardo
    21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21)
    PDF BibTex

  13. DRAT Proofs for XOR Reasoning (2016)
    Tobias Philipp, Adrian Rebola-Pardo
    15th European Conference in Logics in Artificial Intelligence (JELIA 2016)
    PDF BibTex

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