20th Internal Workshop on Satisfiability Modulo Theories

Event name
20th Internal Workshop on Satisfiability Modulo Theories
 
Event type
Event for scientific audience
 
Start date
11-08-2022
End date
12-08-2022
 
Location
Haifa
Country
Israel
 
Conference Track
Single Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bjorner-2022-User-Propagation for Custom Theories in SMT Solving-vor.pdf.jpgBjorner, Nikolaj ; Eisenhofer, Clemens ; Kovacs, Laura User-Propagation for Custom Theories in SMT SolvingInproceedings Konferenzbeitrag 14-Aug-2022