• 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 portfolio-based 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...
  • sunny-cp

  • 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 sunny-cp: 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 portfolio-based 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 solver-schedule-based pre-solving techniques. The default ... unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques...
  • PSG

  • Referenced in 8 articles [sw33474]
  • Portfolio Safeguard (PSG) is an optimization package for solving nonlinear and mixed-integer 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 Maros-Meszaros 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 quasi-definite 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 divide-and-conquer 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 bit-vector solver using word-level propagation. We develop an idea originally ... contrast, bit-vector SMT solvers usually solve bit-vector problems by (ultimately) bit-blasting, that ... describe an approach to bit-vector solving using word-level propagation with learning. We have ... insights gained, we have built a portfolio solver, Wombit, which essentially extends...