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”.

A github page with TeX src