Acyclic Multi-Way Partitioning of Boolean Networks