On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman (2016). Constraints, 21 (2):251–276.
