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

Abstract : no abstract
Type de document :
Article dans une revue
Constraints, Springer Verlag, 2016, 21 (2), pp.251--276. 〈10.1007/s10601-015-9190-1〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01170962
Contributeur : Virginie Collette <>
Soumis le : jeudi 2 juillet 2015 - 15:39:31
Dernière modification le : samedi 18 février 2017 - 01:14:35

Identifiants

Collections

Citation

Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman. On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity. Constraints, Springer Verlag, 2016, 21 (2), pp.251--276. 〈10.1007/s10601-015-9190-1〉. 〈hal-01170962〉

Partager

Métriques

Consultations de la notice

237