Ilya Zakirzyanov

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 6

Top Topics

Symmetry Breaking

Boolean Satisfiability

Supervised Learning

Top Venues

Publications

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
BeBoSy: Behavior Examples Meet Bounded Synthesis. IEEE Access 9 (2021)
Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. LATA (2019)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN (2018)
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. SEFM Workshops (2017)
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
Applying Reinforcement Learning and Supervised Learning Techniques to Play Hearthstone. ICMLA (2017)
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
Symmetry Breaking Predicates for SAT-based DFA Identification. CoRR (2016)
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
BFS-Based Symmetry Breaking Predicates for DFA Identification. LATA (2015)