Tutorial on SMT and Polynomial Arithmetic
Event name
Tutorial on SMT and Polynomial Arithmetic
Event type
Event for scientific audience
Start date
26-05-2016
End date
27-05-2016
Location
Chalmers University, Gothenburg, Sweden
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Jaroschek, Maximilian | Quantifier Elimination Over The Reals | Präsentation Presentation | 2016 |