Computational complexity studies of synchronous Boolean finite dynamical systems on directed graphs

From MaRDI portal