Rebola Pardo, Adrian
Full name Familienname, Vorname
Rebola Pardo, Adrian
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Philipp, Tobias ; Rebola Pardo, Adrian | Towards a Semantics of Unsatisfiability Proofs with Inprocessing | Konferenzbeitrag Inproceedings | 2017 | |
| 2 | Rebola Pardo, Adrian ; Weissenbacher, Georg ; Kovacs, Laura ; Albert, Elvira | RAT Elimination | Konferenzbeitrag Inproceedings  | 2020 | |
| 3 | Forkel, Walter ; Philipp, Tobias ; Rebola Pardo, Adrian ; Werner, Elias | Fuzzing and Verifying RAT Refutations with Deletion Information | Konferenzbeitrag Inproceedings | 2017 | |
| 4 | Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn | Extended Resolution Simulates DRAT | Konferenzbeitrag Inproceedings | 2018 | |
| 5 | Rebola Pardo, Adrian ; Suda, Martin | A Theory of Satisfiability-Preserving Proofs in SAT Solving | Konferenzbeitrag Inproceedings | 2018 |