• Skip to main navigation
  • Skip to search
  • Skip to main content
JKU & KUK Research Portal Home JKU & KUK Research Portal Logo
  • Help & FAQ
    • English
    • Deutsch
  • Home
  • Research units
  • Profiles
  • Research output
  • Projects
  • Activities
  • Datasets
  • Prizes
  • Press/Media
No photo of Adrian Rebola Pardo

View Scopus Profile

Adrian Rebola Pardo

Dr., MSc

  • Institute for Symbolic Artificial Intelligence
  • Emailadrian.rebola_pardojkuat
  • Overview
  • Network
  • Research output (6)
  • Projects (1)
  • Activities (9)

Research output

  • 5 Conference proceedings
  • 1 Preprint

Research output per year

Research output per year

  • Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables

    Anders, M., Bogaerts, B., Bogø, B., Gontier, A., Koops, W., McCreesh, C., Myreen, M. O., Nordström, J., Oertel, A., Rebola Pardo, A. & Tan, Y. K., 2025, The 40th Annual AAAI Conference on Artificial Intelligence. 1 ed.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

  • FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas

    Simader, M., Rebola Pardo, A. & Seidl, M., 14 May 2025, Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025. 1 ed. ACM, p. 1043-1050 8 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access
  • Short proofs without interference

    Rebola Pardo, A., 25 Aug 2025, 16 p. (arXiv.org; no. 2508.09851).

    Research output: Working paper and reports › Preprint

    Open Access
  • Quantifier Shifting for Quantified Boolean Formulas Revisited

    Heisinger, S., Heisinger, M., Rebola Pardo, A. & Seidl, M., 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, Vol. LNAI 14739. p. 325-343 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14739 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access
  • Even Shorter Proofs Without New Variables

    Rebola Pardo, A., Aug 2023, 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023). Mahajan, M. & Slivovsky, F. (eds.). Vol. 271. p. 22:1 - 22:20 20 p. 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 271).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

View all 6 research outputs

Projects

  • 1 Active

Projects per year

  • Cluster of Excellence "Bilateral Artificial Intelligence"

    Fürnkranz, J. (PI), Hochreiter, S. (PI), Klambauer, G. (PI), Schedl, M. (PI), Seidl, M. (PI), Widmer, G. (PI), Brandstetter, J. (PI), Kobler, E. (PI), Aichernig, B. (PI), Heisinger, M. (Researcher), Hoedt, P.-J. (Researcher), Pfeiffer, P. (Researcher), Plank, A. (Researcher), Radler, A. (Researcher), Rebola Pardo, A. (Researcher), Lin, W. (Researcher), Eckert, H. (Researcher), Cranganore, S. S. (Researcher), Hartl, A.-R. (Researcher), Plasser, M. (Researcher), Pammer, T. (Researcher), Tommasel, A. (Researcher), Nawaz, S. (Researcher), Masoudian, S. (Researcher) & Freinschlag, R. (Researcher)

    01.10.2024 → 30.09.2029

    Project: Funded research › FWF - Austrian Science Fund

Activities

  • 6 Contributed talk
  • 1 Organising a conference, workshop, ...
  • 1 Invited talk
  • 1 Poster presentation

Activities per year

  • Open problems in interference and proofs for SAT solving

    Rebola Pardo, A. (Speaker)

    16 Oct 2024

    Activity: Talk or presentation › Contributed talk › science-to-science

  • Quantifier Shifting for Quantified Boolean Formulas Revisited

    Heisinger, S. (Speaker), Heisinger, M. (Speaker), Rebola Pardo, A. (Speaker) & Seidl, M. (Speaker)

    04 Jul 2024

    Activity: Talk or presentation › Contributed talk › science-to-science

  • Boolean Quantifier Shifting as an Optimization Problem

    Rebola Pardo, A. (Speaker)

    02 Jul 2024

    Activity: Talk or presentation › Contributed talk › science-to-science

  • Even shorter proofs without new variables

    Rebola Pardo, A. (Speaker)

    06 Jul 2023

    Activity: Talk or presentation › Contributed talk › science-to-science

  • Reasoning with Quantified Boolean Formulas

    Rebola Pardo, A. (Speaker)

    06 Mar 2023

    Activity: Talk or presentation › Invited talk › science-to-science

View all 9 activities
JKU & KUK Research Portal Logo

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2026 JKU & KUK Research Portal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure

Impressum

About web accessibility

Report vulnerability

Contact us