14 citations · 30 across the 11 of their papers we have counts for
1 paper · 1 filter
Wael Fatnassi, Yasser Shoukry
Numerical tools for constraints solving are a cornerstone to control verification problems. This is evident by the plethora of research that uses tools like linear and convex progr…