Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms.

Itrat A. Akhter Justin Reiher Mark R. Greenstreet

Published in: DATE (2019)

Keyphrases

interval arithmetic
constraint propagation
neural network
learning algorithm
computational complexity
fuzzy logic