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


Talks

  1. Open problems in interference and proofs for SAT solving (Schloß Dagstuhl, Germany, 2024)
    Dagstuhl Seminar 24421: SAT and Interactions (contributed talk)
    Slides

  2. Boolean Quantifier Shifting as an Optimization Problem (Nancy, France, 2024)
    QUANTIFY 24 (contributed talk)
    Slides

  3. Even Shorter Proofs Without New Variables (Alghero, Italy, 2023)
    SAT 2023 (contributed talk)
    Slides

  4. Reasoning with Quantified Boolean Formulas (Lübeck, Germany, 2023)
    FM 2023 (tutorial)
    Slides

  5. Interpolants and interference (Haifa, Israel, 2022)
    iPRA 2022 (contributed talk)
    Slides

  6. RAT elimination (online, 2021)
    LPAR-23 (contributed talk)
    Slides

  7. Frying the egg, roasting the chicken: unit deletions in DRAT proofs (New Orleans, USA, 2020)
    CPP 2020 (contributed talk)
    Slides

  8. Complete and Efficient DRAT Proof Checking (Austin, USA, 2018)
    FMCAD 2018 (contributed talk)
    Slides

  9. Two flavors of DRAT (Oxford, UK, 2018)
    POS 2018 (contributed talk)
    Slides

  10. Towards a Semantics of Unsatisfiability Proofs with Inprocessing (Maun, Botswana, 2017)
    LPAR-21 (contributed talk)
    Slides

  11. DRAT Proofs for XOR Reasoning (Larnaca, Cyprus, 2016)
    JELIA 2016 (contributed talk)
    Slides

  12. Interpolants from SAT solving certificates (Singapore, 2016)
    Automata, Logic and Games, Workshop on Constraints (tutorial)
    Slides