Constraint-Based BMC: A Backjumping Strategy

Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, pp.1-19. 〈10.1007/s10009-012-0258-6〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00874059
Contributeur : Antoine Rollet <>
Soumis le : jeudi 17 octobre 2013 - 10:24:42
Dernière modification le : lundi 4 décembre 2017 - 15:14:11

Identifiants

Collections

Citation

Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet. Constraint-Based BMC: A Backjumping Strategy. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, pp.1-19. 〈10.1007/s10009-012-0258-6〉. 〈hal-00874059〉

Partager

Métriques

Consultations de la notice

111