ABACUS

swMATH2948WikidataQ728658 ScholiaQ728658MaRDI QIDQ15484FDOQ15484

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• A comparative study of the hypoplasticity and the fabric-dependent dilatant double shearing models for granular materials
• A branch-and-cut approach to the crossing number problem
• Lifting and separation procedures for the cut polytope
• OREX-J: Towards a universal software framework for the experimental analysis of optimization algorithms
• Algebraic modeling for IP and MIP (GAMS)
• Applying mod-\(k\)-cuts for solving linear ordering problems
• Disjunctions of Horn theories and their cores
• Title not available (Why is that?)
• A branch-and-cut algorithm for the minimum-adjacency vertex coloring problem
• The Ring Star Problem: Polyhedral analysis and exact algorithm
• Title not available (Why is that?)
• A branch-and-cut algorithm for the k-edge connected subgraph problem
• PICO: An object-oriented framework for parallel branch and bound
• Solving the asymmetric travelling salesman problem with time windows by branch-and-cut
• Title not available (Why is that?)
• Remarks on a surplus-sharing rule from the Mishneh Torah
• A branch-and-price approach for large-scale employee tour scheduling problems
• The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization
• Symmetry in Integer Linear Programming
• A Branch-and-Cut Algorithm for the Undirected Traveling Purchaser Problem
• The \(\gamma\)-connected assignment problem
• A column generation and branch-and-cut algorithm for the channel assignment problem
• Title not available (Why is that?)
• Polyhedral analysis for concentrator location problems
• Title not available (Why is that?)
• The linear ordering problem. Exact and heuristic methods in combinatorial optimization.
• The generalized minimum spanning tree problem: Polyhedral analysis and branch-and-cut algorithm
• Branching in branch-and-price: A generic scheme
• Single-commodity robust network design with finite and hose demand sets
• A tutorial on branch and cut algorithms for the maximum stable set problem
• Minimizing breaks by maximizing cuts.
• Design of survivable IP-over-optical networks
• Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition
• Bidirected and unidirected capacity installation in telecommunication networks.
• A branch-and-cut algorithm for the plant-cycle location problem
• Row and column generation technique for a multistage cutting stock problem
• A branch and cut solver for the maximum stable set problem
• Path inequalities for the vehicle routing problem with time windows
• Lift-and-project for mixed 0-1 programming: recent progress
• Solving the hub location problem in a star–star network
• On a binary distance model for the minimum linear arrangement problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• An alternative method to crossing minimization on hierarchical graphs
• Efficient Reduction of Polynomial Zero-One Optimization to the Quadratic Case
• Symmetric ILP: Coloring and small integers
• Preprocessing Steiner problems from VLSI layout
• A polyhedral study of the maximum edge subgraph problem
• A branch and cut algorithm for hub location problems with single assignment
• Projection, lifting and extended formulation integer and combinatorial optimization
• A branch-and-cut algorithm for the pallet loading problem
• A polyhedral approach to sequence alignment problems
• Introduction to ABACUS -- a branch-and-cut system
• SCIP: solving constraint integer programs
• Airline crew scheduling: state-of-the-art
• Polyhedral results for the bipartite induced subgraph problem
• A tightly integrated modelling and optimisation library: A new framework for rapid algorithm development
• Title not available (Why is that?)
• Solving the asymmetric traveling purchaser problem
• A cutting plane algorithm for graph coloring
• Solving Max-cut to optimality by intersecting semidefinite and polyhedral relaxations
• A branch-and-cut algorithm for graph coloring
• Multiprocessor scheduling under precedence constraints: polyhedral results
• Title not available (Why is that?)
• PEBBL: an object-oriented framework for scalable parallel branch and bound
• Integrating operations research in constraint programming
• Cutting planes in integer and mixed integer programming
• An ILP-based Proof System for the Crossing Number Problem
• Plant location with minimum inventory
• Formulations and exact algorithms for the vehicle routing problem with time windows
• Lagrangian duality applied to the vehicle routing problem with time windows
• The two-dimensional bin packing problem with variable bin sizes and costs
• A branch-and-cut-and-price algorithm for one-dimensional stock cutting and two-dimensional two-stage cutting
• Title not available (Why is that?)
• Solving the hub location problem with modular link capacities
• A modified lift-and-project procedure
• Combinatorial optimization and small polytopes
• Descent direction algorithm with multicommodity flow problem for signal optimization and traffic assignment jointly
• Using decomposition techniques and constraint programming for solving the two-dimensional bin-packing problem
• Locating median cycles in networks
• The biobjective travelling purchaser problem
• Computational Integer Programming and Cutting Planes
• Linear optimization over permutation groups
• Efficient separation routines for the symmetric traveling salesman problem. II: Separating multi handle inequalities.
• Computational experience with a software framework for parallel integer programming
• Algorithmic aspects of using small instance relaxations in parallel branch-and-cut
• Maximally violated mod-\(p\) cuts for the capacitated vehicle-routing problem
• A branch-and-cut-and-price algorithm for vertex-biconnectivity augmentation
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Influence of Preprocessing on Steiner Tree Approximations
• Correlation functions of integrable models: A description of the <scp>ABACUS</scp> algorithm
• An automatic simulation tool for thermal analysis of gravity dams by BFM
• Exact and heuristic methods in combinatorial optimization. A study on the linear ordering and the maximum diversity problem
• Decision-support with preference constraints
• Title not available (Why is that?)
• Branch-and-cut for the forest harvest scheduling subject to clearcut and core area constraints
• Title not available (Why is that?)
• An integer programming approach to optimal basic block instruction scheduling for single-issue processors
• Experiments on Exact Crossing Minimization Using Column Generation

This page was built for software: ABACUS