Skip to Main content Skip to Navigation
Journal articles

Constraint-Based BMC: A Backjumping Strategy

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00874059
Contributor : Antoine Rollet <>
Submitted on : Thursday, October 17, 2013 - 10:24:42 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:34 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

230