QuAT: Quantifiers and Arithmetic Theories are Friends with Benefits

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
QuAT
 
Project Title (de) Projekttitel (de)
QuAT: Quantifiers and Arithmetic Theories are Friends with Benefits
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Amazon Research Awards
Grant number Förderkennnummer
ARA 20223
 

Publications

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bocevska, Ivana ; Petković Komel, Anja ; Kovacs, Laura ; Rain, Sophie ; Rawson, Michael Divide and Conquer: A Compositional Approach to Game-Theoretic SecurityArticle Artikel Oct-2025
2Hajdu, Marton ; Kovács, Laura ; Voronkov, Andrei Partial Redundancy in SaturationInproceedings Konferenzbeitrag 24-Sep-2025
3Bártek, Filip ; Bhayat, Ahmed ; Coutelier, Robin ; Hajdu, Márton ; Hetzenberger, Matthias ; Hozzová, Petra ; Kovács, Laura ; Rath, Jakob ; Rawson, Michael ; Reger, Giles ; Suda, Martin ; Schoisswohl, Johannes ; Voronkov, Andrei The Vampire DiaryInproceedings Konferenzbeitrag 24-Sep-2025
4Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei Term Ordering DiagramsInproceedings Konferenzbeitrag 30-Jul-2025
5Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura PolySAT: Word-level Bit-vector Reasoning in Z3Inproceedings Konferenzbeitrag 3-May-2025
6Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura Polar: An Algebraic Analyzer for (Probabilistic) LoopsBook Contribution Buchbeitrag 2025