46 citations · 46 across the 1 of their papers we have counts for
2 papers
quant-ph2020★ 46 cited
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…
cs.FL2019
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
Konstantin Chukharev, Daniil Chivilikhin
Finite-state models are widely used in software engineering, especially in control systems development. Commonly, in control applications such models are developed manually, hence,…