ABACUS
ABACUS is a software system written in C++ that provides a framework for the implementation of branch-and-bound algorithms using linear programming relaxations. Cutting planes or columns can be generated dynamically (branch-and-cut, branch-and-price, branch-and-cut-and-price). ABACUS allows the software developer to concentrate merely on the problem specific parts, i.e., the separation of cutting planes, column generation, and primal heuristics. ABACUS supports the Open Solver Interface (Osi) developed by the COIN-OR (COmputational INfrastructure for Operations Research) project which means that every solver supported by OSI can be used to solve the relaxations. Moreover, ABACUS provides a variety of general algorithmic concepts, e.g., a list of different enumeration and branching strategies from which the best alternative for the user’s application can be chosen. Finally, ABACUS provides many basic data structures and useful tools for the implementation of such algorithms. It is designed both for general mixed integer optimization problems and for combinatorial optimization problems. It unifies cutting plane and column generation within one algorithm framework. Simple reuse of code and the design of abstract data structures and algorithms are met by object oriented programming modules.
Keywords for this software
References in zbMATH (referenced in 105 articles , 1 standard article )
Showing results 1 to 20 of 105.
Sorted by year (- Cacchiani, Valentina; Jünger, Michael; Liers, Frauke; Lodi, Andrea; Schmidt, Daniel R.: Single-commodity robust network design with finite and hose demand sets (2016)
- Eckstein, Jonathan; Hart, William E.; Phillips, Cynthia A.: PEBBL: an object-oriented framework for scalable parallel branch and bound (2015)
- Bonato, Thorsten; Jünger, Michael; Reinelt, Gerhard; Rinaldi, Giovanni: Lifting and separation procedures for the cut polytope (2014)
- Reinelt, Gerhard; Seitz, Hanna: On a binary distance model for the minimum linear arrangement problem (2014)
- Zhang, Jianming: An automatic simulation tool for thermal analysis of gravity dams by BFM (2014)
- Lang, Jan Christian; Widjaja, Thomas: OREX-J: Towards a universal software framework for the experimental analysis of optimization algorithms (2013)
- Wang, Jiadong; Ralphs, Ted: Computational experience with hypergraph-based methods for automatic decomposition in discrete optimization (2013)
- Bonomo, Flavia; Marenco, Javier; Saban, Daniela; Stier-Moses, Nicolás E.: A polyhedral study of the maximum edge subgraph problem (2012)
- Bonato, Thorsten: Contraction-based separation and lifting for solving the max-cut problem (2011)
- Delle Donne, Diego; Marenco, Javier: A branch-and-cut algorithm for the minimum-adjacency vertex coloring problem (2011)
- Martí, Rafael; Reinelt, Gerhard: The linear ordering problem. Exact and heuristic methods in combinatorial optimization. (2011)
- Oller-Marcén, Antonio M.; Grau, José María: On the base-$b$ expansion of the number of trailing zeros of $b^k$! (2011)
- Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian: Dantzig-Wolfe decomposition and branch-and-price solving in G12 (2011)
- Rebennack, Steffen; Oswald, Marcus; Theis, Dirk Oliver; Seitz, Hanna; Reinelt, Gerhard; Pardalos, Panos M.: A branch and cut solver for the maximum stable set problem (2011)
- Vanderbeck, François: Branching in branch-and-price: A generic scheme (2011)
- Margot, François: Symmetry in integer linear programming (2010)
- Milano, Michela; Wallace, Mark: Integrating operations research in constraint programming (2010)
- Rendl, Franz; Rinaldi, Giovanni; Wiegele, Angelika: Solving Max-cut to optimality by intersecting semidefinite and polyhedral relaxations (2010)
- Achterberg, Tobias: SCIP: solving constraint integer programs (2009)
- Caux, Jean-Sébastien: Correlation functions of integrable models: a description of the ABACUS algorithm (2009)