Trinh, G., Benhamou, B., Pastva, S., & Soliman, S. (2024). Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10714-10722. https://doi.org/10.1609/aaai.v38i9.28943