Optimization Software and Modeling Systems

Solving the bandwidth coloring problem applying constraint and integer programming techniques

  • Rosiane de Freitas
  • Bruno Dias
  • Nelson Maculan
  • Philippe Michelon
    • Categories Integer Programming, Optimization Software and Modeling Systems, Telecommunications Tags , , , , ,

    In this paper, constraint and integer programming formulations are applied to solve Bandwidth Coloring Problem (BCP) and Bandwidth Multicoloring Problem (BMCP). The problems are modeled using distance geometry (DG) approaches, which are then used to construct the constraint programming formulation. The integer programming formulation is based on a previous formulation for the related Minimum Span … Read more

    TMAC: A Toolbox of Modern Async-Parallel, Coordinate, Splitting, and Stochastic Methods

  • Brent Edmunds
  • Zhimin Peng
  • Wotao Yin
    • Categories Nonsmooth Optimization, Parallel Algorithms Tags , , , , ,

    TMAC is a toolbox written in C++11 that implements algorithms based on a set of mod- ern methods for large-scale optimization. It covers a variety of optimization problems, which can be both smooth and nonsmooth, convex and nonconvex, as well as constrained and unconstrained. The algorithms implemented in TMAC, such as the coordinate up- date … Read more

    Alternating Criteria Search: A Parallel Large Neighborhood Search Algorithm for Mixed Integer Programs

  • Shabbir Ahmed
  • Lluís-Miquel Munguía
  • George L. Nemhauser
  • David A. Bader
  • Yufen Shao
    • Categories (Mixed) Integer Linear Programming, Parallel Algorithms Tags , , ,

    We present a parallel large neighborhood search framework for finding high quality primal solutions for generic Mixed Integer Programs (MIPs). The approach simultaneously solves a large number of sub-MIPs with the dual objective of reducing infeasibility and optimizing with respect to the original objective. Both goals are achieved by solving restricted versions of two auxiliary … Read more

    pyomo.dae: A Modeling and Automatic Discretization Framework for Optimization with Differential and Algebraic Equations

  • Lorenz T. Biegler
  • Jean-Paul Watson
  • Victor M. Zavala
  • Bethany Nicholson
  • John D. Siirola
    • Categories Modeling Languages and Systems, Optimization of Systems modeled by PDEs, Systems governed by Differential Equations Optimization Tags , , , ,

    We describe pyomo.dae, an open source Python-based modeling framework that enables high-level abstract specification of optimization problems with differential and algebraic equations. The pyomo.dae framework is integrated with the Pyomo open source algebraic modeling language, and is available at http: //www.pyomo.org. One key feature of pyomo.dae is that it does not restrict users to standard, … Read more

    Toward computer-assisted discovery and automated proofs of cutting plane theorems

  • Matthias Köppe
  • Yuan Zhou
    • Categories Cutting Plane Approaches, Optimization Software and Modeling Systems

    Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cutting-plane theorems in Gomory–Johnson’s model of cut generating functions. Citation to be presented at ISCO 2016 Article Download View Toward computer-assisted discovery and automated proofs of cutting plane theorems

    A Framework for Solving Mixed-Integer Semidefinite Programs

  • Tristan Gally
  • Marc E. Pfetsch
  • Stefan Ulbrich
    • Categories (Mixed) Integer Nonlinear Programming, Optimization Software and Modeling Systems, Semi-definite Programming

    Mixed-integer semidefinite programs arise in many applications and several problem-specific solution approaches have been studied recently. In this paper, we investigate a generic branch-and-bound framework for solving such problems. We first show that strict duality of the semidefinite relaxations is inherited to the subproblems. Then solver components like dual fixing, branching rules, and primal heuristics … Read more

    Globally Optimized Finite Packings of Arbitrary Size Spheres in R^d

  • Ignacio Castillo
  • Frank J. Kampas
  • János Pintér
    • Categories Applications - Science and Engineering, Global Optimization Applications, Optimization Software Benchmark

    This work discusses the following general packing problem-class: given a finite collection of d-dimensional spheres with arbitrarily chosen radii, find the smallest sphere in R^d that contains the entire collection of these spheres in a non-overlapping arrangement. Generally speaking, analytical solution approaches cannot be expected to apply to this general problem-type, except for very small … Read more

    Accelerated fast iterative shrinkage thresholding algorithms for sparsity-regularized cone-beam CT image reconstruction

  • Mark Anastasio
  • Jun Tan
  • Alex Sawatzky
  • Qiaofeng Xu
  • Deshan Yang
    • Categories Convex and Nonsmooth Optimization, Nonlinear Optimization, Optimization Software and Modeling Systems

    Purpose: The development of iterative image reconstruction algorithms for cone-beam computed tomography (CBCT) remains an active and important research area. Even with hardware acceleration, the overwhelming majority of the available 3D iterative algorithms that implement nonsmooth regularizers remain computationally burdensome and have not been translated for routine use in time-sensitive applications such as image-guided radiation … Read more

    Nonlinear Regression Analysis by Global Optimization: A Case Study in Space Engineering

  • Alessandro Castellazzo
  • Giorgio Fasano
  • János Pintér
  • Mariachiara Vola
    • Categories Applications - Science and Engineering, Global Optimization Applications, Optimization Software and Modeling Systems Tags , , , , , ,

    The search for a better understanding of complex systems calls for quantitative model development. Within this development process, model fitting to observational data (calibration) often plays an important role. Traditionally, local optimization techniques have been applied to solve nonlinear (as well as linear) model calibration problems numerically: the limitations of such approaches in the nonlinear … Read more

    The SCIP Optimization Suite 3.2

  • Tobias Fischer
  • Tristan Gally
  • Gerald Gamrath
  • Ambros Gleixner
  • Gregor Hendel
  • Thorsten Koch
  • Stephen J. Maher
  • Matthias Miltenberger
  • Marc E. Pfetsch
  • Felipe Serrano
  • Dieter Weninger
  • Jakob Witzig
  • Benjamin Müller
  • Christian Puchert
  • Daniel Rehfeldt
  • Sebastian Schenker
  • Robert Schwarz
  • Yuji Shinano
  • Stefan Vigerske
  • Michael Winkler
  • Jonas T. Witt
    • Categories Integer Programming, Linear, Cone and Semidefinite Programming, Optimization Software and Modeling Systems

    The SCIP Optimization Suite is a software toolbox for generating and solving various classes of mathematical optimization problems. Its major components are the modeling language ZIMPL, the linear programming solver SoPlex, the constraint integer programming framework and mixed-integer linear and nonlinear programming solver SCIP, the UG framework for parallelization of branch-and-bound-based solvers, and the generic … Read more