Dmitry Strabykin

According to our database, Dmitry Strabykin authored at least 2 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2019

The Method of Deductive Inference of Consequences with the Scheme Construction.

Anastasia Bardovskaya, Gennadiy Chistyakov, Maria Dolzhenkova, Dmitry Strabykin

Proceedings of the Artificial Intelligence Methods in Intelligent Algorithms, 2019

2016

Formal Verification and Accelerated Inference.

Dmitry Strabykin, Vasily Meltsov, Maria Dolzhenkova, Gennady Chistyakov, Alexey Kuvaev

Proceedings of the Artificial Intelligence Perspectives in Intelligent Systems, 2016