activity
20192023
most citedSecant Penalized BFGS: A Noise Robust Quasi-Newton Method Via Penalizing The Secant Condition

9 citations · 15 across the 4 of their papers we have counts for

collaborators
Showing 2019 · math.OCShow all

1 paper · 2 filters

math.OC2019★ 6 cited

How To Catch A Lion In The Desert -- On The Solution Of The Coverage Directed Generation (CDG) Problem

Raviv Gal, Eldad Haber, Brian Irwin +2

The testing and verification of a complex hardware or software system, such as modern integrated circuits (ICs) found in everything from smartphones to servers, can be a difficult…