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

sunnycp
 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 sunnycp: a CP portfolio for solving...

OREXJ
 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 portfoliobased approach to CSP solving, which we call ... encode a CSP problem instance into SAT, selecting an appropriate encoding and a corresponding...

DSight
 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 stateoftheart 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 largescale 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...