Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms. - Itrat A. Akhter; Justin Reiher; Mark R. Greenstreet (DATE, 2019)