Adrian Rebola-Pardo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 5

Top Topics

Quantified Boolean Formulas

Reasoning Tasks

Insertions And Deletions

Top Venues

FLAIRS Conference

Publications

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
Quantifier Shifting for Quantified Boolean Formulas Revisited. IJCAR (1) (2024)
Johannes Altmanninger, Adrian Rebola-Pardo
Frying the egg, roasting the chicken: unit deletions in DRAT proofs. CPP (2020)
Adrian Rebola-Pardo, Luís Cruz-Filipe
Complete and Efficient DRAT Proof Checking. FMCAD (2018)
Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner
Fuzzing and Verifying RAT Refutations with Deletion Information. FLAIRS Conference (2017)
Tobias Philipp, Adrian Rebola-Pardo
DRAT Proofs for XOR Reasoning. JELIA (2016)
Dana Pordel, Lars Petersson, Shahin Namin, Adrian Rebola-Pardo
Modeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles. Intelligent Vehicles Symposium (2015)