Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. In Jun Pang 0001, Joachim Niehren, editors, Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings. Volume 14137 of Lecture Notes in Computer Science, pages 175-183, Springer, 2023. [doi]
Abstract is missing.