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 Jul 2026, Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I. Biere, A., Lutz, C. & Negri, S. (eds.). 1 ed. Springer, Cham, p. 175-193 19 p. (Lecture Notes in Computer Science; vol. 16688 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C., Kaufmann, D. & Chen, C., 10 Mar 2026, arXiv, 23 p. (arXiv.org; no. 2603.09501).Research output: Working paper and reports › Preprint
Open Access -
Definition-Based Dependency Schemes
Kattermann, D., Hofstadler, C. & Seidl, M., 16 Jul 2026, 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026). Ignatiev, A. & Szeider, S. (eds.). 1 ed. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 22. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 377).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
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. (eds.). 1 ed. p. 79-97 19 p. (Lecture Notes in Computer Science; vol. 16235 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
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 ed. Timisoara, Romania: IEEE, p. 113-117 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
-
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C. (Speaker)
29 Jul 2026Activity: Talk or presentation › Contributed talk › science-to-science
-
Definition-based dependency schemes
Kattermann, D. (Speaker), Seidl, M. (Contributor) & Hofstadler, C. (Contributor)
22 Jul 2026Activity: Talk or presentation › Contributed talk › science-to-science
-
Certification of True QBF Formulas in Expansion-Based Solving
Bhavnani, S. (Speaker), Hofstadler, C. (Contributor) & Seidl, M. (Contributor)
19 Jul 2026Activity: Talk or presentation › Contributed talk › science-to-science
-
Symmetry Breaking in Dependency Quantified Boolean Formulas
Seip, P. (Speaker), Hofstadler, C. (Contributor), Kauers, M. (Contributor) & Seidl, M. (Contributor)
19 Jul 2026Activity: Talk or presentation › Contributed talk › science-to-science
-
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Hofstadler, C. (Speaker)
27 Nov 2025Activity: Talk or presentation › Contributed talk › science-to-science
Prizes
-
-
-
-
-
“Promotio sub auspiciis” distinction
Hofstadler, C. (Recipient), 17 Mar 2025
Prize: Prize, award or honor