An ASP-based Approach for Boolean Networks Representation and Attractor Detection.

Tarek Khaled, Belaid Benhamou

Browse the full LPAR paper archive.