Clemens Hofstadler

According to our database, Clemens Hofstadler authored at least 17 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits.

Clemens Hofstadler, Daniela Kaufmann, Chen Chen

CoRR, March, 2026

Modular algorithms for computing Gröbner bases in free algebras.

Clemens Hofstadler, Viktor Levandovskyy

J. Symb. Comput., 2026

2025

TalisMan.

Clemens Hofstadler, Daniela Kaufmann

Dataset, August, 2025

Towards SAT-Based Learning of NNF Networks.

Paul Seip, Florian Beck, Johannes Fürnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider

Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2025

Recycling Algebraic Proof Certificates.

Daniela Kaufmann, Clemens Hofstadler

Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025) Collocated with The 30th International Conference on Automated Deduction (CADE 2025), 2025

Refinement-Based Enumeration of QBF Solutions.

Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification.

Clemens Hofstadler, Daniela Kaufmann

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras.

Maximilian Heisinger, Clemens Hofstadler

Proceedings of the Computer Algebra in Scientific Computing - 27th International Workshop, 2025

2024

Short proofs of ideal membership.

Clemens Hofstadler, Thibaut Verron

J. Symb. Comput., 2024

Symmetries of Dependency Quantified Boolean Formulas.

Clemens Hofstadler, Manuel Kauers, Martina Seidl

CoRR, 2024

2023

Signature Gröbner bases in free algebras over rings.

Clemens Hofstadler, Thibaut Verron

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study.

Klara Bernauer, Clemens Hofstadler, Georg Regensburger

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

2022

Computing Elements of Certain Form in Ideals to Prove Properties of Operators.

Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

Math. Comput. Sci., 2022

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra.

Clemens Hofstadler, Thibaut Verron

J. Symb. Comput., 2022

2021

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law.

Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab, Georg Regensburger

Appl. Math. Comput., 2021

2020

Compatible rewriting of noncommutative polynomials for proving operator identities.

Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Certifying operator identities via noncommutative Gröbner bases.

Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

ACM Commun. Comput. Algebra, 2019