P\(_-\)UNSAT approach of attractor calculation for Boolean gene regulatory networks
type: Item
instance of: scholarly article
title: P\(_-\)UNSAT approach of attractor calculation for Boolean gene regulatory networks
zbMATH Open document ID: 1397.92250
author: Zhile Xia
author: Bin Lin
author: Qinbin He
published in: Journal of Theoretical Biology
publication date: 2018-06-15T00:00:00Z
Mathematics Subject Classification ID: 92C42
Mathematics Subject Classification ID: 92C40
zbMATH DE Number: 6890035
zbMATH Keywords: Boolean networks
zbMATH Keywords: genetic regulatory networks
zbMATH Keywords: attractor
MaRDI profile type: Publication
full work available at URL: j.jtbi.2018.03.037
OpenAlex ID: W2794960257
Wikidata QID: Q88235662
cites work: The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in \textit{Drosophila melanogaster}
cites work: Dynamical modeling and analysis of large cellular regulatory networks
cites work: Q5503674
cites work: A machine program for theorem-proving
cites work: A Computing Procedure for Quantification Theory
cites work: A survey of kernel and spectral methods for clustering
cites work: An efficient approach of attractor calculation for large-scale Boolean gene regulatory networks
cites work: Improving the efficiency of attractor cycle identification in Boolean networks
cites work: Effects of alternative connectivity on behavior of randomly constructed Boolean networks
cites work: A reduction method for Boolean network models proven to conserve attractors
cites work: Reduction of Boolean network models
cites work: An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks
cites work: Aggregation Algorithm Towards Large-Scale Boolean Network Analysis
DOI: 10.1016/J.JTBI.2018.03.037
description: scientific article; zbMATH DE number 6890035