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

Mitsunori Ogihara, Kei Uchizawa