(Q50999097)

English

A SAT-based algorithm for finding attractors in synchronous Boolean networks.

scientific article published in September 2011

Statements

A SAT-based algorithm for finding attractors in synchronous Boolean networks. (English)

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit