Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming
Boolean Networks (BNs) are widely used as a modeling formalism in several domains, notably systems biology and computer science. A fundamental problem in BN analysis is the …