• RingLoading

• Referenced in 2 articles [sw42219]
• ring loading problem asks for an unsplittable routing of the demands such that the maximum ... value of such a solution. In the relaxed version of the problem, each demand ... parts where the first part is routed clockwise while the second part is routed counterclockwise...

• RoutingLib

• Referenced in 2 articles [sw28638]
• sufficient conditions, some of which mildly relax assumptions made in the original paper. Our primary ... reasoning about the correctness of network routing protocols. To do so we have derived...

• RITUAL

• Referenced in 4 articles [sw02121]
• Mathematical techniques and heuristics based on Lagrangian relaxation are used to find an approximate solution ... impact on chip area after routing by modifying the placement alone...

• ALPS

• Referenced in 17 articles [sw00036]
• This paper describes the design of the Abstract...

• BARON

• Referenced in 361 articles [sw00066]
• BARON is a computational system for solving nonconvex...

• CDT

• Referenced in 12 articles [sw00116]
• Algorithm 750: CDT: A subroutine for the exact...

• CNOP

• Referenced in 7 articles [sw00139]
• CNOP - A package for constrained network optimization. We...

• Coq

• Referenced in 1906 articles [sw00161]
• Coq is a formal proof management system. It...

• Hyperheuristics

• Referenced in 141 articles [sw00424]
• The term hyperheuristic was introduced by the authors...

• Isabelle

• Referenced in 719 articles [sw00454]
• Isabelle is a generic proof assistant. It allows...

• KNITRO

• Referenced in 200 articles [sw00490]
• KNITRO is a solver for nonlinear optimization. It...

• LANCELOT

• Referenced in 310 articles [sw00500]
• LANCELOT. A Fortran package for large-scale nonlinear...

• LEDA

• Referenced in 264 articles [sw00509]
• In the core computer science areas -- data structures...

• Maple

• Referenced in 5403 articles [sw00545]
• The result of over 30 years of cutting...

• MATCONT

• Referenced in 455 articles [sw00551]
• MATCONT: Matlab software for bifurcation study of dynamical...

• Mathematica

• Referenced in 6445 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 13702 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• NetworkX

• Referenced in 168 articles [sw00616]
• NetworkX (NX) is a Python package for the...

• Paramils

• Referenced in 87 articles [sw00678]
• Paramils: an automatic algorithm configuration framework. The identification...

• PROFIL/BIAS

• Referenced in 134 articles [sw00733]
• PROFIL (Programmer’s Runtime Optimized Fast Interval Library...