A parallel attractor-finding algorithm based on Boolean satisfiability for genetic regulatory networks.

A parallel attractor-finding algorithm based on Boolean satisfiability for genetic regulatory networks.