Combining Zhegalkin Polynomials and SAT Solving for Context-specific Boolean Modeling of Biological Systems

IF 3.6 3区生物学 Q2 BIOCHEMICAL RESEARCH METHODS

IEEE/ACM Transactions on Computational Biology and Bioinformatics Pub Date : 2024-09-10 DOI:10.1109/tcbb.2024.3456302

Vincent Deman, Marine Ciantar, Laurent Naudin, Philippe Castera, Anne-Sophie Beignon

引用次数: 0

查看原文本刊更多论文

结合哲加金多项式和 SAT 求解，建立生物系统的特定语境布尔模型

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

IEEE/ACM Transactions on Computational Biology and Bioinformatics 工程技术-计算机：跨学科应用

CiteScore

7.50

自引率

6.70%

发文量

479

审稿时长

3 months

期刊介绍： IEEE/ACM Transactions on Computational Biology and Bioinformatics emphasizes the algorithmic, mathematical, statistical and computational methods that are central in bioinformatics and computational biology; the development and testing of effective computer programs in bioinformatics; the development of biological databases; and important biological results that are obtained from the use of these methods, programs and databases; the emerging field of Systems Biology, where many forms of data are used to create a computer-based model of a complex biological system