Publications on Daniela Kaufmannhttps://danielakaufmann.at/publication/Recent content in Publications on Daniela KaufmannSource Themes academia (https://sourcethemes.com/academic/)en-usdaniela.kaufmann@tuwien.ac.atdaniela.kaufmann@tuwien.ac.atCopyright © {year} Daniela KaufmannFri, 24 Jul 2026 00:00:00 +0000A Modern View on MCSathttps://danielakaufmann.at/publication/2026_smt/Fri, 24 Jul 2026 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2026_smt/Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuitshttps://danielakaufmann.at/publication/2026_ijcar/Wed, 06 May 2026 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2026_ijcar/ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliershttps://danielakaufmann.at/publication/2026_tacas/Sun, 01 Mar 2026 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2026_tacas/Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verificationhttps://danielakaufmann.at/publication/2025_cp/Tue, 12 Aug 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2025_cp/Recycling Algebraic Proof Certificateshttps://danielakaufmann.at/publication/2025_sc2/Sat, 02 Aug 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2025_sc2/Split-BDD Multiplier Verification Benchmarks Submitted to the SAT Competition 2025https://danielakaufmann.at/publication/2025_satcomp/Sat, 12 Jul 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2025_satcomp/Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphshttps://danielakaufmann.at/publication/2025_tacas/Tue, 06 May 2025 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2025_tacas/PolySAT: Word-level Bit-vector Reasoning in Z3https://danielakaufmann.at/publication/2024_vstte/Tue, 15 Oct 2024 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2024_vstte/MCSat-Based Finite Field Reasoning in the Yices2 SMT Solverhttps://danielakaufmann.at/publication/2024_ijcar/Mon, 01 Jul 2024 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2024_ijcar/Fuzzing-based grammar learning from a minimal set of seed inputshttps://danielakaufmann.at/publication/2024_computerlanguages/Fri, 01 Mar 2024 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2024_computerlanguages/Life span of SAT techniqueshttps://danielakaufmann.at/publication/2024_pos/Thu, 01 Feb 2024 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2024_pos/SMT Solving over Finite Field Arithmetichttps://danielakaufmann.at/publication/2023_lpar/Sat, 03 Jun 2023 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2023_lpar/Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebrahttps://danielakaufmann.at/publication/2023_sttt/Wed, 11 Jan 2023 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2023_sttt/Fuzzing-Based Grammar Inferencehttps://danielakaufmann.at/publication/2022_medi/Sat, 19 Nov 2022 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2022_medi/Fuzzing and Delta Debugging And-Inverter Graph Verification Toolshttps://danielakaufmann.at/publication/2022_tap/Tue, 05 Jul 2022 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2022_tap/Formal verification of multiplier circuits using computer algebrahttps://danielakaufmann.at/publication/2022_itjournal/Fri, 24 Jun 2022 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2022_itjournal/Adding Dual Variables to Algebraic Reasoning for Circuit Verificationhttps://danielakaufmann.at/publication/2022_date/Mon, 21 Mar 2022 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2022_date/Practical Algebraic Calculus and Nullstellensatz with the Checkers Pacheck and Pastèque and Nuss-Checkerhttps://danielakaufmann.at/publication/2022_fmsd/Wed, 02 Mar 2022 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2022_fmsd/Formale Verifikation von Multiplizierern mit Computeralgebrahttps://danielakaufmann.at/publication/2021_gi-dissertationen/Wed, 29 Sep 2021 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2021_gi-dissertationen/Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning: A Surveyhttps://danielakaufmann.at/publication/2021_iwsbp/Sat, 24 Apr 2021 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2021_iwsbp/AMulet 2.0 for Verifying Multiplier Circuitshttps://danielakaufmann.at/publication/2021_tacas/Fri, 08 Jan 2021 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2021_tacas/The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculushttps://danielakaufmann.at/publication/2020_fmcad/Mon, 02 Nov 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_fmcad/Practical Algebraic Calculus Checkerhttps://danielakaufmann.at/publication/2020_afp/Thu, 01 Oct 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_afp/Nullstellensatz-Proofs for Multiplier Verificationhttps://danielakaufmann.at/publication/2020_casc/Wed, 05 Aug 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_casc/Formal Verification of Multiplier Circuits using Computer Algebrahttps://danielakaufmann.at/publication/2020_phdthesis/Wed, 03 Jun 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_phdthesis/From DRUP to PAC and Backhttps://danielakaufmann.at/publication/2020_date/Mon, 01 Jun 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_date/Verifying Multipliers using Computer Algebrahttps://danielakaufmann.at/publication/2020_date-phdforum/Tue, 03 Mar 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_date-phdforum/SAT, Computer Algebra, Multipliershttps://danielakaufmann.at/publication/2020_vampire/Tue, 04 Feb 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_vampire/Incremental Column-Wise Verification of Arithmetic Circuits Using Computer Algebrahttps://danielakaufmann.at/publication/2020_fmsd/Wed, 01 Jan 2020 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2020_fmsd/Influence of the Reduction Order in Multiplier Verification using Computer Algebrahttps://danielakaufmann.at/publication/2019_fmcad-studentforum/Thu, 21 Nov 2019 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2019_fmcad-studentforum/Verifying Large Multipliers by Combining SAT and Computer Algebrahttps://danielakaufmann.at/publication/2019_fmcad/Fri, 15 Nov 2019 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2019_fmcad/Arithmetic Verification Problems Submitted to the SAT Race 2019https://danielakaufmann.at/publication/2019_satrace/Wed, 31 Jul 2019 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2019_satrace/A Practical Polynomial Calculus for Arithmetic Circuit Verificationhttps://danielakaufmann.at/publication/2018_sc2/Mon, 20 Aug 2018 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2018_sc2/Improving and Extending the Algebraic Approach for Verifying Gate-Level Multipliershttps://danielakaufmann.at/publication/2018_date/Thu, 15 Mar 2018 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2018_date/Challenges in Verifying Arithmetic Circuits Using Computer Algebrahttps://danielakaufmann.at/publication/2017_synasc/Sun, 31 Dec 2017 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2017_synasc/Column-Wise Verification of Multipliers Using Computer Algebrahttps://danielakaufmann.at/publication/2017_fmcad/Wed, 20 Sep 2017 00:00:00 +0000daniela.kaufmann@tuwien.ac.athttps://danielakaufmann.at/publication/2017_fmcad/