
Mosek
 Referenced in 509 articles
[sw04618]
 problems. Some examples of problems MOSEK can solve are linear programs, quadratic programs, conic problems ... problems occurs frequently in Financial applications e.g. portfolio management, Supply chain management, Analog chip design...

SATzilla
 Referenced in 100 articles
[sw06281]
 portfolio optimizing a given objective function (such as mean runtime, percent of instances solved ... well beyond SATzilla07 by making the portfolio construction scalable and completely automated, and improving...

IPSSIS
 Referenced in 14 articles
[sw07158]
 that are not dominated by any other portfolio in the group), and on the other ... solve for one optimal portfolio, but rather solve for an efficient set of portfolios, among...

SUNNY
 Referenced in 12 articles
[sw31800]
 solving. Within the context of constraint solving, a portfolio approach allows one to exploit ... flexible algorithm that takes advantage of a portfolio of constraint solvers in order to compute ... explicit model  a schedule of them for solving a given Constraint Satisfaction Problem (CSP). Motivated ... effective portfolio solver that exploits the underlying SUNNY algorithm in order to solve a given...

Proteus
 Referenced in 11 articles
[sw10080]
 transformations. In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly ... present a novel hierarchical portfoliobased approach to CSP solving, which we call Proteus, that...

CRIO
 Referenced in 31 articles
[sw04840]
 optimization algorithm, used to solve subset selection in regression and portfolio selection in asset allocation...

sunnycp
 Referenced in 7 articles
[sw31181]
 model and solve Constraint Satisfaction / Optimization Problems (CSPs / COPs). A CP Portfolio Solver ... advantage of a portfolio of different CP solvers in order to solve a given problem ... present sunnycp: a CP portfolio for solving both CSPs and COPs that turned...

HordeSat
 Referenced in 15 articles
[sw16712]
 parallel satisfiability (SAT) solving is to run several different (a portfolio of) SAT solvers ... solution. The SAT solvers in the portfolio can be instances of a single solver with ... case of massively parallel SAT solving. Our solver is intended to run on clusters with ... name HordeSat. HordeSat is a fully distributed portfoliobased SAT solver with a modular design...

vZ
 Referenced in 14 articles
[sw22666]
 allows users to pose and solve optimization problems modulo theories. Many SMT applications use models ... objective functions. νZ provides a portfolio of approaches for solving linear optimization problems over...

PaInleSS
 Referenced in 8 articles
[sw21967]
 basics for parallel SAT solving like clause exchanges, portfolio and divide and conquer strategies...

claspfolio 2
 Referenced in 11 articles
[sw11706]
 selection approaches, solver portfolios, as well as solverschedulebased presolving techniques. The default ... unique framework for comparing and combining existing portfoliobased algorithm selection approaches and techniques...

PSG
 Referenced in 8 articles
[sw33474]
 Portfolio Safeguard (PSG) is an optimization package for solving nonlinear and mixedinteger nonlinear optimization...

YalSAT
 Referenced in 25 articles
[sw31644]
 CDCL solvers, beside of course solving hard uniform random formulas. We continued to use YalSAT ... threads with local search enabled in a portfolio style manner in parallel to the main...

QPALM
 Referenced in 6 articles
[sw35397]
 extremely robust in numerical simulations, solving all of the MarosMeszaros problems and finding ... portfolio optimization and model predictive control. As such, QPALM strikes a unique balance between solving...

QPsimplex
 Referenced in 5 articles
[sw31751]
 portfolio optimization, and robust optimization with ellipsoidal objective uncertainty; and they can be solved...

ORPIT
 Referenced in 3 articles
[sw38073]
 Matlab Toolbox for Option Replication and Portfolio Insurance in Incomplete Markets. In this work ... solve (a) the problem of option replication and (b) the cost minimization problem of portfolio...

COSMO
 Referenced in 7 articles
[sw40080]
 each step the algorithm alternates between solving a quasidefinite linear system with a constant ... problems, e.g. semidefinite programs that arise in portfolio optimisation, graph theory, and robust control. Moreover...

SMTS
 Referenced in 2 articles
[sw29289]
 SMTS, a framework for parallelizing sequential constraint solving algorithms and running them in distributed computing ... parallelization technique that supports recursively combining algorithm portfolios and divideandconquer with the exchange ... solver, debugging parallel executions, and visualizing solving, structure, and learned clauses of SMT instances...

SArTagnan
 Referenced in 2 articles
[sw11451]
 SArTagnan  A parallel portfolio SAT solver with lockless physical clause sharing. Since multi{core architectures ... improvements on the clause database to all solving threads. Despite the extensive sharing of data...

Wombit
 Referenced in 2 articles
[sw39885]
 Wombit: a portfolio bitvector solver using wordlevel propagation. We develop an idea originally ... contrast, bitvector SMT solvers usually solve bitvector problems by (ultimately) bitblasting, that ... describe an approach to bitvector solving using wordlevel propagation with learning. We have ... insights gained, we have built a portfolio solver, Wombit, which essentially extends...