46 citations · 51 across the 2 of their papers we have counts for
4 papers
MoG-VQE: Multiobjective genetic variational quantum eigensolver
D. Chivilikhin, A. Samarin, V. Ulyantsev +3
Variational quantum eigensolver (VQE) emerged as a first practical algorithm for near-term quantum computers. Its success largely relies on the chosen variational ansatz, correspon…
Smart Contract Design Meets State Machine Synthesis: Case Studies
Dmitrii Suvorov, Vladimir Ulyantsev
Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of dig…
BFS Enumeration for Breaking Symmetries in Graphs
Vyacheslav Moklev, Vladimir Ulyantsev
There are numerous NP-hard combinatorial problems which involve searching for an undirected graph satisfying a certain property. One way to solve such problems is to translate a pr…
Symmetry Breaking Predicates for SAT-based DFA Identification
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
It was shown before that the NP-hard problem of deterministic finite automata (DFA) identification can be effectively translated to Boolean satisfiability (SAT). Modern SAT-solvers…