Adrian Rebola-Pardo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables. | Markus Anders, Bart Bogaerts, Benjamin Bog, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan |
| 2025 | SAC | FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas. | Marcel Simader, Adrian Rebola-Pardo, Martina Seidl |
| 2025 | SYNASC | Short Proofs Without Interference. | Adrian Rebola-Pardo |
| 2024 | IJCAR | Quantifier Shifting for Quantified Boolean Formulas Revisited. | Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl |
| 2020 | CPP | Frying the egg, roasting the chicken: unit deletions in DRAT proofs. | Johannes Altmanninger, Adrian Rebola-Pardo |
| 2018 | FMCAD | Complete and Efficient DRAT Proof Checking. | Adrian Rebola-Pardo, Lus Cruz-Filipe |
| 2017 | FlAIRS | Fuzzing and Verifying RAT Refutations with Deletion Information. | Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner |
| 2016 | JELIA | DRAT Proofs for XOR Reasoning. | Tobias Philipp, Adrian Rebola-Pardo |