×
AllImagesNewsVideos Maps Shopping Books
Search tools

Adrian Rebola Pardo - TU Wien Informatics

informatics.tuwien.ac.at › people › adria...
Adrian Rebola-Pardo from informatics.tuwien.ac.at
PostDoc Researcher, Formal Methods in Systems Engineering.

Adrian Rebola-Pardo | Institute for Symbolic Artificial Intelligence - JKU

www.jku.at › ... › Team
Dr. Adrian Rebola-Pardo · Science Park 4 · +43 732 2468 5751 · adrian.rebola_pardo(at)jku.at.

Adrian Rebola-Pardo - DBLP

dblp.org › Persons
Aug 5, 2024 · List of computer science publications by Adrian Rebola-Pardo.

Adrián Rebola-Pardo's research works | TU Wien and other places

www.researchgate.net › Adrian-Rebola-P...
Adrián Rebola-Pardo's 6 research works with 33 citations, including: Quantifier Shifting for Quantified Boolean Formulas Revisited.

0000-0001-9234-4377 - Adrian Rebola-Pardo - ORCID

orcid.org › ...
Adrian Rebola-Pardo · 0000-0001-9234-4377 · Personal information · Activities.

Adrian Rebola Pardo

t-news.cn › FLoC2018-pages › person403
Adrian Rebola Pardo. Organization: Vienna University of Technology. Web page: http://logic-cs.at/phd/students/adrian-rebola-pardo/. Pages in this Program ...

Author: Adrián Rebola-Pardo - EasyChair

easychair.org › author › lGp5
Author:Adrián Rebola-Pardo. Publications. Two flavors of DRAT · Adrián Rebola-Pardo and Armin Biere. EasyChair Preprint 457. RAT Elimination · Adrian Rebola ...

[2307.12098] Even shorter proofs without new variables - arXiv

arxiv.org › cs
Jul 22, 2023 · In this work, we combine the subsumption redundancy notion from (Buss, Thapen 2019) and the overwrite logic framework from (Rebola-Pardo, Suda 2018).
Images
View all

Adrian Rebola Pardo - POPL 2020

popl20.sigplan.org › profile › adrianrebo...
POPL 2020 profile. conf.research.org general profile. No Photo. Not registered as user yet. Name:Adrian Rebola Pardo. Affiliation:TU Wien. Contributions ...