Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman

Browse the full CP paper archive.