Benhamou, Belaid

2 publications

AAAI 2024 Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman

AAAI 2008 A New Incomplete Method for CSP Inconsistency Checking Belaid Benhamou, Mohamed Réda Saïdi