A dynamic constraint-based BMC strategy for generating counterexamples. - Hélène Collavizza; Nguyen Le Vinh; Michel Rueher; Samuel Devulder; Thierry Gueguen (SAC, 2011)

Constraint-based BMC: a backjumping strategy. - Hélène Collavizza; Nguyen Le Vinh; Olivier Ponsini; Michel Rueher; Antoine Rollet (Int. J. Softw. Tools Technol. Transf., 2014)