Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations

DOI10.1134/S1990478914030028zbMath1324.92021OpenAlexW1993856152MaRDI QIDQ5264738

S. E. Kochemazov, A. A. Evdokimov, Il'ya Vladimirovich Otpushchennikov, Aleksandr Anatol'evich Semënov

Publication date: 27 July 2015

Published in: Journal of Applied and Industrial Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1990478914030028

zbMATH Keywords

SATdiscrete functiondiscrete automaton model of gene networks

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Genetics and epigenetics (92D10) Systems biology, networks (92C42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal control problems in gene network dynamics and methods for solving them
• Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System
• The Structure and Function of Complex Networks
• Collective dynamics of ‘small-world’ networks
• Random Graphs
• The complexity of theorem-proving procedures
• Applications of SAT Solvers to Cryptanalysis of Hash Functions

This page was built for publication: Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations