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-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kaufmann, Daniela Verifying Arithmetic Circuits with PolynomialsPresentation Vortrag24-Sep-2025
2Hofstadler, Clemens ; Kaufmann, Daniela Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit VerificationInproceedings Konferenzbeitrag 8-Aug-2025
3Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura PolySAT: Word-level Bit-vector Reasoning in Z3Inproceedings Konferenzbeitrag 3-May-2025
4Kaufmann, Daniela ; Berthomieu, Jérémy Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter GraphsInproceedings Konferenzbeitrag 1-May-2025
5Kaufmann, Daniela ; Hofstadler, Clemens Recycling Algebraic Proof CertificatesInproceedings Konferenzbeitrag 2025
6Hader, 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