Wortbasiertes Reasoning mit Computeralgebra und SAT

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
CalgSAT
 
Project Title (de) Projekttitel (de)
Wortbasiertes Reasoning mit Computeralgebra und SAT
 
Project Title (en) Projekttitel (en)
Combining Computer Algebra with SAT for Word-Level Reasoning
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
ESP 666-N
 

Publications

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chen, Chen ; Kaufmann, Daniela ; Deng, Chenhui ; Song, Zhan ; Zhang, Hongce ; Yu, Cunxi ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized MultipliersInproceedings Konferenzbeitrag 15-Apr-2026
2Kaufmann, Daniela Verifying Arithmetic Circuits with PolynomialsPresentation Vortrag24-Sep-2025
3Hofstadler, Clemens ; Kaufmann, Daniela Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit VerificationInproceedings Konferenzbeitrag 8-Aug-2025
4Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura PolySAT: Word-level Bit-vector Reasoning in Z3Inproceedings Konferenzbeitrag 3-May-2025
5Kaufmann, Daniela ; Berthomieu, Jérémy Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter GraphsInproceedings Konferenzbeitrag 1-May-2025
6Kaufmann, Daniela ; Hofstadler, Clemens Recycling Algebraic Proof CertificatesInproceedings Konferenzbeitrag 2025
7Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed ; Graham-Lengrand, Stéphane ; Kovács, Laura MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)Inproceedings Konferenzbeitrag 1-Jul-2024