PhD thesis
Finite-state machine synthesis using SAT and CSP solvers
Date of defence: 2015-12-24
Files (in Russian):
- thesis (129 pages)
- synopsis (16 pages)
- presentation (65 slides)
Finite-state machine synthesis using SAT and CSP solvers
Date of defence: 2015-12-24
Files (in Russian):