Stefan Woltran
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Austria
- MGP identifier
- 130137
Dissertation: Quantified Boolean Formulas - From Theory to Practice
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Uwe EglyTechnische Universität Darmstadt · 1994
- Thomas EiterInstitution not recorded
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Michael Bernreiter | Not recorded | — | 0 |
| Wolfgang Dvořák | Not recorded | — | 1 |
| Sarah Alice Gaggl | Not recorded | — | 0 |
| Thekla Hamm | Technische Universität Wien | 2022 | 0 |
| Michael Jakl | Technische Universität Wien | 2010 | 0 |
| Jan Maly | Not recorded | — | 2 |
| Sylwia Polberg | Not recorded | — | 0 |
| Stefan Rümmele | Technische Universität Wien | 2012 | 0 |
| Christof Spanring | University of Liverpool | 2017 | 0 |
| Johannes Peter Wallner | Not recorded | — | 0 |