Marijn J. H. Heule
Original record- Institution
- Technische Universiteit Delft
- Year
- 2008
- Country
- Netherlands
- MGP identifier
- 298639
Dissertation: SmArT solving: Tools and techniques for satisfiability solvers
Advisors 2
- Hans van MaarenUniversiteit Utrecht · 1979
- Cees WitteveenUniversiteit Utrecht · 1984
Students 0
No students recorded in this snapshot.