ABACUS

swMATH2948WikidataQ728658 ScholiaQ728658MaRDI QIDQ15484FDOQ15484

Author name not available (Why is that?)

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

• 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?)
• 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
• Title not available (Why is that?)
• Implementing the branch-and-cut approach for a general purpose Benders' decomposition framework
• Crossing Minimization in Storyline Visualization
• On the base-\(b\) expansion of the number of trailing zeros of \(b^k\)!
• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• Contraction-based separation and lifting for solving the max-cut problem
• Experiments with the Fixed-Parameter Approach for Two-Layer Planarization
• On the fracture behavior of inhomogeneous materials -- a case study for elastically inhomogeneous bimaterials
• Detecting symmetries by branch and cut.
• A new analytical solution to the optimal control problem for the control of higher-order non-dispersive wave
• Title not available (Why is that?)
• The variable sequencing approach: A solution to the capital budget allocation model
• Parallel branch, cut, and price for large-scale discrete optimization
• Title not available (Why is that?)
• The influence of preprocessing on Steiner tree approximations
• Title not available (Why is that?)
• Integrating operations research in constraint programming
• Computational experience with hypergraph-based methods for automatic decomposition in discrete optimization
• 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
• PICO: An object-oriented framework for parallel branch and bound
• Solving the asymmetric travelling salesman problem with time windows by branch-and-cut
• 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
• 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
• 2006 and 2007 Max-SAT evaluations: contributed instances
• 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
• Noncommercial software for mixed-integer linear programming
• 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

This page was built for software: ABACUS