Publications

1. Faster Certified Symmetry Breaking using Orders with Auxiliary Variables (2026)
   Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan
   40th Annual AAAI Conference on Artificial Intelligence (AAAI 2026, to appear)
2. Short proofs without interference (2025)
   Adrian Rebola-Pardo
   27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2025, to appear)
   Preprint
3. 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)
   PDF BibTeX
4. 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 Full version BibTeX
5. Even Shorter Proofs Without New Variables (2023)
   Adrian Rebola-Pardo
   26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
   PDF Full version BibTeX
6. 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
7. 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
8. RAT Elimination (2020)
   Adrian Rebola-Pardo, Georg Weissenbacher
   23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)
   PDF BibTeX
9. Extended Resolution Simulates DRAT (2018)
   Benjamin Kiesl, Adrian Rebola-Pardo, Marijn J. H. Heule
   9th International Joint Conference on Automated Reasoning (IJCAR 2018)
   Best paper award
   PDF BibTeX
10. Complete and Efficient DRAT Proof Checking (2018)
    Adrian Rebola-Pardo, Luis Cruz-Filipe
    2018 Formal Methods in Computer Aided Design (FMCAD 2018)
    PDF BibTeX
11. 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
12. Two flavors of DRAT (2018)
    Adrian Rebola-Pardo, Armin Biere
    Pragmatics of SAT 2018 (POS 2018)
    PDF BibTeX
13. 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
14. 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
15. DRAT Proofs for XOR Reasoning (2016)
    Tobias Philipp, Adrian Rebola-Pardo
    15th European Conference in Logics in Artificial Intelligence (JELIA 2016)
    PDF BibTeX
16. 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