
SCIP
 Referenced in 472 articles
[sw01091]
 constraint integer programming and branchcutandprice. It allows for total control...

ABACUS
 Referenced in 115 articles
[sw02948]
 dynamically (branchandcut, branchandprice, branchandcutandprice). ABACUS allows ... list of different enumeration and branching strategies from which the best alternative for the user...

DIP
 Referenced in 18 articles
[sw09870]
 branch and cut, branch and price, branch and cut and price, subgradientbased Lagrangian relaxation...

SYMPHONY
 Referenced in 35 articles
[sw04718]
 Branch, cut, and price (BCP) is an LPbased branch and bound technique for solving...

GCG
 Referenced in 22 articles
[sw10533]
 generic branchcutandprice solver for mixed integer programs. It is based ... branchandcutandprice framework SCIP and is also part of the SCIP Optimization ... tree in the same way, transfers branching decisions and bound changes from the original problem...

BaPCod
 Referenced in 16 articles
[sw09871]
 reformulated problem is solved using a branchandprice (column generation) algorithm. The specificity ... define master columns, their reduced cost, pricing problem, or Lagrangian bound; a default column generation ... specific subproblem solver; a branching scheme that preserves the pricing problem structure is offered...

ALPS
 Referenced in 15 articles
[sw00036]
 ALPS. The first is the Branch, Constrain, and Price Software (BiCePS) library, a framework that...

CHiPPS
 Referenced in 13 articles
[sw07210]
 Library for Parallel Search (ALPS) Branch, Constrain, and Price Software (BiCePS) BiCePS Linear Integer Solver...

BiCePS
 Referenced in 9 articles
[sw06321]
 ALPS. The first is the Branch, Constrain, and Price Software (BiCePS) library, a framework that...

MINTO
 Referenced in 132 articles
[sw04587]
 solves mixedinteger linear programs by a branchandbound algorithm with linear programming relaxations ... inequalities perform variable fixing based on reduced prices control the size of the linear programs...

COIN/BCP
 Referenced in 9 articles
[sw12432]
 parallel framework for implementing branch, cut, and price algorithms for solving mixed integer programs (MIPs ... implementational effort. involved with implementing a branch and bound framework from scratch...

SCIL
 Referenced in 10 articles
[sw01099]
 that introduces symbolic constraints into branchandcutandprice algorithms for integer linear programs...

NurseScheduler
 Referenced in 1 article
[sw33149]
 NurseScheduler: A branch and price algorithm to solve a nurse scheduling problem. The algorithm...

UPPAAL CORA
 Referenced in 9 articles
[sw25660]
 UPPAAL CORA is a branch of UPPAAL for Cost Optimal Reachability Anslysis developed ... modelling language, UPPAAL CORA uses linearly priced timed automata (LPTA). Given an LPTA model, UPPAAL...

TinyOS
 Referenced in 7 articles
[sw02023]
 powerefficient operation come at a price: TinyOS applications are notoriously difficult to construct, debug ... system under test and the particular branches chosen during each run. The toolkit supports comprehension...

TSP Solver and Generator
 Referenced in 0 articles
[sw05887]
 salesman problem” (TSP) tasks. It uses the Branch and Bound method for solving. Its input ... result is an optimal route, its price, stepbystep matrices of solving ... used as an example of using the Branch and Bound method to solve a particular...

ODEA
 Referenced in 3 articles
[sw07671]
 Planners needed a tool to support the pricing of socalled Virtual Private Networks ... encoding in our software. We devise a BranchandBound scheme and fill...

BARON
 Referenced in 316 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BPMPD
 Referenced in 40 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

CGAL
 Referenced in 360 articles
[sw00118]
 The goal of the CGAL Open Source Project...