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