Stephan Gocht
Original record- Institution
- Lund University
- Year
- 2022
- Country
- Sweden
- MGP identifier
- 295865
Dissertation: Certifying Correctness for Combinatorial Algorithms by Using Pseudo-Boolean Reasoning
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Susanna Figueiredo de RezendeKungliga Tekniska Högskolan (KTH) · 2019
- Jakob NordströmKungliga Tekniska Högskolan (KTH) · 2008
Students 0
No students recorded in this snapshot.