Yurii Kostyukov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Grigory Fedyukovich
6 publications
Dmitry Mordvinov
2 publications

research

∙ 07/31/2021

Solving Constrained Horn Clauses over ADTs by Finite Model Finding

First-order logic is a natural way of expressing the properties of compu...

0 Yurii Kostyukov, et al. ∙

research

∙ 04/09/2021

Beyond the Elementary Representations of Program Invariants over Algebraic Data Types

First-order logic is a natural way of expressing properties of computati...

0 Yurii Kostyukov, et al. ∙