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
Projects
- 1 Active
-
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
-
Open problems in interference and proofs for SAT solving
Rebola Pardo, A. (Speaker)
16 Oct 2024Activity: 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 2024Activity: Talk or presentation › Contributed talk › science-to-science
-
Boolean Quantifier Shifting as an Optimization Problem
Rebola Pardo, A. (Speaker)
02 Jul 2024Activity: Talk or presentation › Contributed talk › science-to-science
-
Even shorter proofs without new variables
Rebola Pardo, A. (Speaker)
06 Jul 2023Activity: Talk or presentation › Contributed talk › science-to-science
-
Reasoning with Quantified Boolean Formulas
Rebola Pardo, A. (Speaker)
06 Mar 2023Activity: Talk or presentation › Invited talk › science-to-science