Progress in the Solving of a Circuit Design Problem: Progress in the solving of a circuit design problem

Συγγραφείς: Granvilliers, Laurent, Benhamou, Frédéric

Συνεισφορές: Lina, Contraintes, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: Journal of Global Optimization. 20:155-168

Θεματικοί όροι: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Numerical computation of solutions to systems of equations, Interval and finite arithmetic, constraint satisfaction, global branch-and-prune algorithm, interval Newton method, 0211 other engineering and technologies, 02 engineering and technology, automatic differentiation, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], circuit design problem, Analytic circuit theory, 0101 mathematics, interval analysis

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://hal.science/hal-00444122v1
https://zbmath.org/1701643
https://doi.org/10.1023/a:1011266226870
https://link.springer.com/article/10.1023/A%3A1011266226870
https://hal.archives-ouvertes.fr/hal-00444122
https://dblp.uni-trier.de/db/journals/jgo/jgo20.html#GranvilliersB01