SAF: SAT-based attractor finder in asynchronous automata networks

DOI10.1007/978-3-031-42697-1_12MaRDI QIDQ6199825

Naoyuki Tamura, Morgan Magnin, Mutsunori Banbara, Daniel Le Berre, Takehide Soh

Publication date: 28 February 2024

Published in: Computational Methods in Systems Biology (Search for Journal in Brave)

zbMATH Keywords

attractorBoolean networksSAT solversautomata networks

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Cites Work

• Unnamed Item
• Sufficient conditions for reachability in automata networks with priorities
• Goal-oriented reduction of automata networks
• Implementing Efficient All Solutions SAT Solvers

This page was built for publication: SAF: SAT-based attractor finder in asynchronous automata networks