On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity

Fri, Apr 1, 2016·
Faten Nabli
,
Thierry Martinez
,
François Fages
,
Sylvain Soliman
· 0 min read
Type
Publication
Constraints, 21 (2):251–276