Pavel Gennadievich Emelyanov Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Research area decomposition of Boolean functions semantic analysis of programs information systems Affiliation & position A.P. Ershov Institute of Informatics Systems — senior researcher Novosibirsk State University — associate professor E-mail emelyanov@iis.nsk.su
Emelyanov P. Conjunctive Decomposition of Boolean Functions: Experiments with Different Representations // System Informatics. — 2021. — # 18. — P. 85-92
