22nd International Workshop on Satisfiability Modulo Theories (SMT 2024)

View Statistics Email Alert RSS Feed

Description

Event name
22nd International Workshop on Satisfiability Modulo Theories (SMT 2024)
 
Event type
Event for scientific audience
 
Start date
22-07-2024
End date
23-07-2024
 
Location
Montreal
Country
Canada
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin Certifying Incremental SAT SolvingPresentation Vortrag23-Jul-2024
2Hader-2024-An SMT-LIB Theory of Finite Fields-vor.pdf.jpgHader, Thomas ; Ozdemir, Alex An SMT-LIB Theory of Finite FieldsInproceedings Konferenzbeitrag 2024