An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks

Tarek Khaled, Belaïd Benhamou

Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the attractors are the objects of…