• GenSel

  • Referenced in 1 article [sw14007]
  • GenSel: User Manual for a Portfolio of Genomic Selection Related Analyses. GenSel is a computer ... that comprises a portfolio of alternative analyses relevant to Genomic Selection. It requires three input...
  • sunny-cp

  • Referenced in 4 articles [sw31181]
  • constraint solver that takes advantage of a portfolio of different CP solvers in order ... Algorithm Selection techniques. In this work we present sunny-cp: a CP portfolio for solving...
  • OREX-J

  • Referenced in 1 article [sw07410]
  • optimization model for software supplier selection and product portfolio planning...
  • Proteus

  • Referenced in 10 articles [sw10080]
  • solving to present a novel hierarchical portfolio-based approach to CSP solving, which we call ... encode a CSP problem instance into SAT, selecting an appropriate encoding and a corresponding...
  • D-Sight

  • Referenced in 1 article [sw16175]
  • portfolios for all strategic KPI’s that matter to your organization. Select...
  • Alors

  • Referenced in 1 article [sw19071]
  • algorithm recommender system. Algorithm selection (AS), selecting the algorithm best suited for a particular problem ... make the best out of algorithm portfolios. This paper presents a collaborative filtering approach ... noted by Stern et al. [47], algorithm selection can be formalized as a collaborative filtering...
  • ARfit

  • Referenced in 37 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • BARON

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

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CGAL

  • Referenced in 354 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

  • Referenced in 242 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • EViews

  • Referenced in 31 articles [sw00254]
  • Eviews supports general statistical analysis and econometric analyses...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • Isabelle

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

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

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

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

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

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