SAF: SAT-based Attractor Finder in Asynchronous Automata Networks - IMT - Institut Mines-Télécom Access content directly
Conference Papers Year : 2023

SAF: SAT-based Attractor Finder in Asynchronous Automata Networks

Takehide Soh
  • Function : Author
  • PersonId : 1221563
Mutsunori Banbara
  • Function : Author
  • PersonId : 1221564
Naoyuki Tamura
  • Function : Author
  • PersonId : 1221565


In this paper, we present a SAT-based Attractor Finder (SAF) which computes attractors in biological regulatory networks mod- elled as asynchronous automata networks. SAF is based on translating the problem of finding attractors of a bounded size into a satisfiability problem to take advantage of state-of-the-art SAT encodings and solvers. SAF accepts an automata network and outputs attractors in ascending size order until the bound is reached. SAF’s main contribution is pro- viding an alternative to existing attractor finders. There are cases where it is able to find some attractors while other techniques fail to do so. We observed such capability on both automata networks and Boolean networks. SAF is simple to use: it is available as a command line tool as well as a web application. Finally, SAF being written in Scala, it can run on any operating system with a Java virtual machine when combined with the SAT solver Sat4j.
Fichier principal
Vignette du fichier
cmsb2023tool-2.pdf (499.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04184830 , version 1 (02-03-2024)


  • HAL Id : hal-04184830 , version 1


Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAF: SAT-based Attractor Finder in Asynchronous Automata Networks. 21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg. ⟨hal-04184830⟩
50 View
2 Download


Gmail Facebook X LinkedIn More