Author Info
Name
Affiliation
Papers
NGUYEN LE VINH
University of Nice - Sophia, Antipolis, France
2
Collaborators
Citations 
PageRank 
6
3
0.74
Referers 
Referees 
References 
9
70
41
Title
Citations
PageRank
Year
Constraint-based BMC: a backjumping strategy.10.362014
A dynamic constraint-based BMC strategy for generating counterexamples20.392011