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

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman. Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. In Roland H. C. Yap, editor, 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. Volume 280 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Van-Giang Trinh

This author has not been identified. Look up 'Van-Giang Trinh' in Google

Belaid Benhamou

This author has not been identified. Look up 'Belaid Benhamou' in Google

Sylvain Soliman

This author has not been identified. Look up 'Sylvain Soliman' in Google