Microsoft Research Lab, USA

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Microsoft Research Lab, USA
 

OrgUnit's Publications


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

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