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