Sylvain Soliman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. | Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman |
| 2023 | CP | Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. | Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman |
| 2015 | PPDP | Search by constraint propagation. | Thierry Martinez, Franois Fages, Sylvain Soliman |
| 2012 | CP | A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. | Faten Nabli, Franois Fages, Thierry Martinez, Sylvain Soliman |
| 1998 | LICS | Phase Semantics and Verification of Concurrent Constraint Programs. | Franois Fages, Paul Ruet, Sylvain Soliman |