!!Research output per year
!!Research output per year
-
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C., Kaufmann, D. & Chen, C., 24 Juli 2026, Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I. Biere, A., Lutz, C. & Negri, S. (Hrsg.). 1 Aufl. Springer, Cham, S. 175-193 (Lecture Notes in Computer Science; Band 16688).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C., Kaufmann, D. & Chen, C., 10 März 2026, arXiv, 23 S. (arXiv.org; Nr. 2603.09501).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
Open Access -
Definition-Based Dependency Schemes
Kattermann, D., Hofstadler, C. & Seidl, M., 16 Juli 2026, 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026). Ignatiev, A. & Szeider, S. (Hrsg.). 1 Aufl. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 S. (Leibniz International Proceedings in Informatics (LIPIcs); Band 377).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Heisinger, M. & Hofstadler, C., 2026, Computer Algebra in Scientific Computing: 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24–28, 2025, Proceedings. Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (Hrsg.). 1 Aufl. S. 79-97 19 S. (Lecture Notes in Computer Science; Band 16235 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Towards SAT-Based Learning of NNF Networks
Seip, P., Beck, F., Fürnkranz, J., Hofstadler, C., Pfeiffer, P., Seidl, M., Peharz, R. & Szeider, S., 21 Apr. 2026, Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). 1 Aufl. Timisoara, Romania: IEEE, S. 113-117 5 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Aktivitäten
-
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C. (Vortragende*r)
29 Juli 2026Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Definition-based dependency schemes
Kattermann, D. (Vortragende*r), Seidl, M. (Mitwirkende*r) & Hofstadler, C. (Mitwirkende*r)
22 Juli 2026Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Certification of True QBF Formulas in Expansion-Based Solving
Bhavnani, S. (Vortragende*r), Hofstadler, C. (Mitwirkende*r) & Seidl, M. (Mitwirkende*r)
19 Juli 2026Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Symmetry Breaking in Dependency Quantified Boolean Formulas
Seip, P. (Vortragende*r), Hofstadler, C. (Mitwirkende*r), Kauers, M. (Mitwirkende*r) & Seidl, M. (Mitwirkende*r)
19 Juli 2026Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Hofstadler, C. (Vortragende*r)
27 Nov. 2025Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
Auszeichnungen
-
Auszeichnung "Promotio sub auspiciis"
Hofstadler, C. (Empfänger*in), 17 März 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
Dissertationspreis 2024
Hofstadler, C. (Empfänger*in), 2024
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
JKU Young Researchers’ Award
Hofstadler, C. (Empfänger*in), 2024
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
-