Adrian Rebola-Pardo

According to our database, Adrian Rebola-Pardo authored at least 13 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Quantifier Shifting for Quantified Boolean Formulas Revisited.

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Even Shorter Proofs Without New Variables.

Adrián Rebola-Pardo

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2020

Simulating Strong Practical Proof Systems with Extended Resolution.

Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere

J. Autom. Reason., 2020

RAT Elimination.

Adrián Rebola-Pardo, Georg Weissenbacher

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Frying the egg, roasting the chicken: unit deletions in DRAT proofs.

Johannes Altmanninger, Adrian Rebola-Pardo

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

Two flavors of DRAT.

Adrián Rebola-Pardo, Armin Biere

Proceedings of Pragmatics of SAT 2015, 2018

A Theory of Satisfiability-Preserving Proofs in SAT Solving.

Adrián Rebola-Pardo, Martin Suda

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Complete and Efficient DRAT Proof Checking.

Adrian Rebola-Pardo, Luís Cruz-Filipe

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Extended Resolution Simulates DRAT.

Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Towards a Semantics of Unsatisfiability Proofs with Inprocessing.

Tobias Philipp, Adrián Rebola-Pardo

Proceedings of the LPAR-21, 2017

Fuzzing and Verifying RAT Refutations with Deletion Information.

Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

2016

DRAT Proofs for XOR Reasoning.

Tobias Philipp, Adrian Rebola-Pardo

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Modeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles.

Dana Pordel, Lars Petersson, Shahin Namin, Adrian Rebola-Pardo

Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015