Samuel Pastva

Latest

• Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming