
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...

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 largescale 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 highlevel 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...