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