Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Adrian Rebola-Pardo

Adrián Rebola-Pardo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KieslRHB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KieslRHB20
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere:
Simulating Strong Practical Proof Systems with Extended Resolution. J. Autom. Reason. 64(7): 1247-1267 (2020)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sat/Rebola-Pardo23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Rebola-Pardo23
Adrián Rebola-Pardo:
Even Shorter Proofs Without New Variables. SAT 2023: 22:1-22:20
2020
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/AltmanningerP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/AltmanningerP20
Johannes Altmanninger, Adrian Rebola-Pardo:
Frying the egg, roasting the chicken: unit deletions in DRAT proofs. CPP 2020: 61-70
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Rebola-PardoW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Rebola-PardoW20
Adrián Rebola-Pardo, Georg Weissenbacher:
RAT Elimination. LPAR 2020: 423-448
2018
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KieslRH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KieslRH18
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule:
Extended Resolution Simulates DRAT. IJCAR 2018: 516-531
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Rebola-PardoC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Rebola-PardoC18
Adrian Rebola-Pardo, Luís Cruz-Filipe:
Complete and Efficient DRAT Proof Checking. FMCAD 2018: 1-9
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Rebola-PardoS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Rebola-PardoS18
Adrián Rebola-Pardo, Martin Suda:
A Theory of Satisfiability-Preserving Proofs in SAT Solving. LPAR 2018: 583-603
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sat/Rebola-PardoB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Rebola-PardoB18
Adrián Rebola-Pardo, Armin Biere:
Two flavors of DRAT. POS@SAT 2018: 94-110
2017
[c4]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/ForkelPRW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/ForkelPRW17
Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner:
Fuzzing and Verifying RAT Refutations with Deletion Information. FLAIRS 2017: 190-193
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/PhilippR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/PhilippR17
Tobias Philipp, Adrián Rebola-Pardo:
Towards a Semantics of Unsatisfiability Proofs with Inprocessing. LPAR 2017: 65-84
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/PhilippR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/PhilippR16
Tobias Philipp, Adrian Rebola-Pardo:
DRAT Proofs for XOR Reasoning. JELIA 2016: 415-429
2015
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/PordelPNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/PordelPNR15
Dana Pordel, Lars Petersson, Shahin Namin, Adrian Rebola-Pardo:
Modeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles. Intelligent Vehicles Symposium 2015: 1068-1073

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-12098
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-12098
Adrián Rebola-Pardo:
Even shorter proofs without new variables. CoRR abs/2307.12098 (2023)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.