• COIN/BCP

  • Referenced in 8 articles [sw12432]
  • price algorithms for solving mixed integer programs (MIPs). BCP provides the user with an object ... develop an efficient problem class specific MIP solver without all the implementational effort. involved with...
  • FiberSCIP

  • Referenced in 7 articles [sw06291]
  • Solving Constraint Integer Programs), which is a MIP solver and constraint integer programming framework available ... FiberSCIP for solving mixed-integer linear programs (MIPs) and mixed-integer non-linear programs (MINLPs...
  • NumberJack

  • Referenced in 9 articles [sw07412]
  • there are four available back-ends: a MIP solver (SCIP), two SAT solvers (MiniSat...
  • VCODE

  • Referenced in 8 articles [sw09697]
  • VCODE system, which currently runs on the MIPS, SPARC, and Alpha architectures...
  • COOPR

  • Referenced in 5 articles [sw04914]
  • optimizers and black-box applications SUCASA: Customize MIP solvers to expose model structure ... MIP solver engine...
  • XA

  • Referenced in 7 articles [sw21986]
  • high performance solvers for LP and MIP problems. XA implements primal simplex, dual simplex...
  • ParaXpress

  • Referenced in 4 articles [sw15160]
  • Combining Internal and External Parallelization to Solve MIPs on Supercomputers. The Ubiquity Generator ... general framework for the external parallelization of MIP solvers. It has been used to develop ... distributed memory parallelization of the powerful commercial MIP solver FICO Xpress. Besides sheer performance...
  • Performance Libraries

  • Referenced in 2 articles [sw33537]
  • consists of the following libraries: AMPLBookLib - LP, MIP, and NLP; FCNetLib - MIP; GLOBALLib - NLP; LINLib ... MIP, and QCP; MacMOOPLib - LP, NLP; MINLPLib - MINLP; MIPLIB 2010 - MIP; MPLLib - LP, NLP; PrincetonLib ... Optimization Lib - NLP and DNLP; XPRESSLib - LP, MIP...
  • PESP

  • Referenced in 2 articles [sw03261]
  • world periodic timetabling in public transport. Its MIP formulation has been studied intensely ... scale. In our computational results the new MIP-formulations considerably improve the solvability of multi...
  • stprbh

  • Referenced in 2 articles [sw31781]
  • modeling hop-constraints. Contrary to previous MIP formulations based on layered graphs (that ... bounds and the size of the underlying MIP formulation. We implemented a branch...
  • ODEA

  • Referenced in 3 articles [sw07671]
  • ODEA and the commercial general purpose CPLEX MIP solver...
  • EMOSL

  • Referenced in 3 articles [sw13460]
  • extraction tool, and the implementations of three MIP heuristics and cutting planes techniques...
  • VIPR

  • Referenced in 3 articles [sw18034]
  • extended the exact rational version of the MIP solver SCIP to produce such certificates...
  • Decogo

  • Referenced in 3 articles [sw32747]
  • refined by solving many easier MINLP and MIP subproblems in parallel (using BB), instead...
  • TrpAQP

  • Referenced in 1 article [sw24381]
  • Membrane channels of the Major Intrinsic Protein (MIP) family are pores for water and solutes ... plants. Experimental evidence suggests that some MIPs are aquaporins and are therefore relatively selective ... acid, and are therefore called aquaglyceroporins. Some MIPs conduct solutes that in isolation would ... molecular determinants of the selectivity of MIPs from plants and to identify the physiologically relevant...
  • MCMA

  • Referenced in 2 articles [sw05077]
  • used for analysis of any LP (including MIP) model that can be provided...
  • ArchC

  • Referenced in 2 articles [sw07845]
  • functional and cycle-based simulators for the MIPS and Intel 8051 processors, as well...
  • HQRII1

  • Referenced in 2 articles [sw10285]
  • Cray YMP, Pentium, Mips R1×000 and Dec Alpha 21×64 single processors. Comparisons...
  • SANDROS

  • Referenced in 2 articles [sw22756]
  • seconds to 10 minutes on a 16 MIPS workstation...