Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. In Hesham Ali 0001, Ning Deng 0001, Ana L. N. Fred, Hugo Gamboa, editors, Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2023, Volume 3: BIOINFORMATICS, Lisbon, Portugal, February 16-18, 2023. pages 163-174, SCITEPRESS, 2023. [doi]
Abstract is missing.