Belaid Benhamou

Latest

• Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming
• Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
• Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
• Minimal trap spaces of Logical models are maximal siphons of their Petri net encoding