首页 正文

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

{{output}}
Large amounts of knowledge regarding biological processes are readily available in the literature and aggregated in diverse databases. Boolean networks are powerful tools to render that knowledge into models that can mimic and simulate biological phenomena at ... ...