Name Card

Full name Familienname, Vorname
Rebola Pardo, Adrian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-9 of 9 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rebola Pardo, Adrian Even Shorter Proofs Without New VariablesInproceedings Konferenzbeitrag 2023
2Rebola-Pardo Adrian - 2021 - Interference-based proofs in SAT solving.pdf.jpgRebola-Pardo, Adrián Interference-based proofs in SAT solvingThesis Hochschulschrift 2021
3Altmanninger Johannes - 2020 - Frying the Egg Roasting the Chicken Unit...pdf.jpgAltmanninger, Johannes ; Rebola Pardo, Adrian Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT ProofsInproceedings Konferenzbeitrag 2020
4Rebola Pardo, Adrian ; Weissenbacher, Georg RAT EliminationKonferenzbeitrag Inproceedings 2020
5Rebola Pardo, Adrian ; Suda, Martin A Theory of Satisfiability-Preserving Proofs in SAT SolvingKonferenzbeitrag Inproceedings 2018
6Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn Extended Resolution Simulates DRATKonferenzbeitrag Inproceedings 2018
7Forkel, Walter ; Philipp, Tobias ; Rebola Pardo, Adrian ; Werner, Elias Fuzzing and Verifying RAT Refutations with Deletion InformationKonferenzbeitrag Inproceedings2017
8Philipp, Tobias ; Rebola Pardo, Adrian Towards a Semantics of Unsatisfiability Proofs with InprocessingKonferenzbeitrag Inproceedings2017
9Rebola-Pardo Adrian - 2016 - DRAT proofs for XOR reasoning.pdf.jpgRebola-Pardo, Adrián ; Tobias, Philipp DRAT proofs for XOR reasoningInproceedings Konferenzbeitrag 2016

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Altmanninger Johannes - 2019 - A Tiny tweak to proof generation in miniSat-based...pdf.jpgAltmanninger, Johannes A Tiny tweak to proof generation in miniSat-based SAT solvers & a complete and efficient DRAT proof checkerThesis Hochschulschrift 2019