Full name Familienname, Vorname

Rebola Pardo, Adrian

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Results 1-11 of 11 (Search time: 0.006 seconds).

RIS EndNote Bibtex

	Author(s)	Title	Type	Issue Date
1	Heisinger, Simone ; Heisinger, Maximilian ; Rebola-Pardo, Adrian ; Seidl, Martina	Quantifier Shifting for Quantified Boolean Formulas Revisited	Inproceedings Konferenzbeitrag	2024
2	Rebola Pardo, Adrian	Even Shorter Proofs Without New Variables	Inproceedings Konferenzbeitrag	2023
3	Rebola Pardo, Adrian	Interpolants and Interference	Inproceedings Konferenzbeitrag	Aug-2022
4	Rebola-Pardo, Adrián	Interference-based proofs in SAT solving	Thesis Hochschulschrift	2021
5	Altmanninger, Johannes ; Rebola Pardo, Adrian	Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs	Inproceedings Konferenzbeitrag	2020
6	Rebola Pardo, Adrian ; Weissenbacher, Georg	RAT Elimination	Konferenzbeitrag Inproceedings	2020
7	Rebola Pardo, Adrian ; Suda, Martin	A Theory of Satisfiability-Preserving Proofs in SAT Solving	Konferenzbeitrag Inproceedings	2018
8	Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn	Extended Resolution Simulates DRAT	Konferenzbeitrag Inproceedings	2018
9	Forkel, Walter ; Philipp, Tobias ; Rebola Pardo, Adrian ; Werner, Elias	Fuzzing and Verifying RAT Refutations with Deletion Information	Konferenzbeitrag Inproceedings	2017
10	Philipp, Tobias ; Rebola Pardo, Adrian	Towards a Semantics of Unsatisfiability Proofs with Inprocessing	Konferenzbeitrag Inproceedings	2017
11	Philipp, Tobias ; Rebola-Pardo, Adrian	DRAT proofs for XOR reasoning	Inproceedings Konferenzbeitrag	2016

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

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Altmanninger, Johannes	A Tiny tweak to proof generation in miniSat-based SAT solvers & a complete and efficient DRAT proof checker	Thesis Hochschulschrift	2019