Nguyen Le Vinh

According to our database, Nguyen Le Vinh authored at least 2 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

2011

A dynamic constraint-based BMC strategy for generating counterexamples.

Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011