Daniil Chivilikhin, PhDmailto: chivdan [at] itmo [dot] ruAssociate Professor, Research Associate, Deputy Head of "Discrete optimization and Formal Methods" group @ Computer Technologies Laboratory, ITMO University. Research field: SAT solvers, Synthesis, Verification, Evolutionary Algorithms Google Scholar DBLP ACM Scopus ResearcherID ResearchGate RSCI |