Nguyen Le Vinh

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Constraint Satisfaction

Artificial Neural Networks

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet
Constraint-based BMC: a backjumping strategy. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
A dynamic constraint-based BMC strategy for generating counterexamples. SAC (2011)