Alexander S. Kulikov
Original record- Institution
- St. Petersburg State University and Steklov Institute of Mathematics, St. Petersburg
- Year
- 2009
- Country
- Russia
- MGP identifier
- 134864
Dissertation: Algorithms for Boolean Logic using Automatization, Combined Complexity Measures, and Clause Learning
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Edward Alekseevich HirschSt. Petersburg State University and Steklov Institute of Mathematics, St. Petersburg · 1998
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Ivan Bliznets | Steklov Institute of Mathematics | 2016 | 0 |
| Evgeny Demenkov | St. Petersburg State University | 2013 | 0 |