Constraint-Based BMC: A Backjumping Strategy

Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00874059
Contributor : Antoine Rollet <>
Submitted on : Thursday, October 17, 2013 - 10:24:42 AM
Last modification on : Monday, November 5, 2018 - 3:48:02 PM

Links full text

Identifiers

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〉

Share

Metrics

Record views

170