Login / Signup
Satisfiability models and algorithms for circuit delay computation.
Luís Guerra e Silva
João P. Marques Silva
Luís Miguel Silveira
Karem A. Sakallah
Published in:
ACM Trans. Design Autom. Electr. Syst. (2002)
Keyphrases
</>
machine learning algorithms
significant improvement
optimization problems
computational complexity
computationally efficient
benchmark datasets
statistical models
machine learning methods
linear algebra
computational cost
high speed
theoretical analysis
mathematical models
learned models
numerical algorithms