Thanh Hung Nguyen
Original record- Institution
- Technische Universität Kaiserslautern
- Year
- 2014
- Country
- Germany
- MGP identifier
- 188707
Dissertation: Contribution of Boolean Gröbner Bases and SAT Solvers
Advisor 1
- Gerhard PfisterHumboldt-Universität zu Berlin · 1971
Students 0
No students recorded in this snapshot.