Ilya Zakirzyanov got his PhD!
Ilya Zakirzyanov – the first PhD student have been defended under my supervizion. Graz!
A link to the thesis “Search space reduction techniques for deterministic finite automata inference with Boolean satisfiability problem solving”.