Exact Solution of Graph Coloring Problems via Constraint Programming and Column Generation

From MaRDI portal
Publication:2815431

DOI10.1287/ijoc.1100.0436zbMath1461.05091OpenAlexW2021781365MaRDI QIDQ2815431

Federico Malucelli, Stefano Gualandi

Publication date: 29 June 2016

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1287/ijoc.1100.0436



Related Items

Constraint programming and operations research, Graph Coloring Lower Bounds from Decision Diagrams, Lower bounding techniques for DSATUR-based branch and bound, Branch-and-Cut-and-Price algorithms for the preemptive RCPSP, An exact algorithm for the partition coloring problem, Simple decentralized graph coloring, A Branch-and-Price Framework for Decomposing Graphs into Relaxed Cliques, Models and Algorithms for the Bin-Packing Problem with Minimum Color Fragmentation, A Wide Branching Strategy for the Graph Coloring Problem, Minimum sum coloring problem: upper bounds for the chromatic strength, Total coloring and total matching: polyhedra and facets, An integer programming approach to b-coloring, Fractional programming formulation for the vertex coloring problem, Symmetry-breaking inequalities for ILP with structured sub-symmetry, The maximum-impact coloring polytope, Coordinated cutting plane generation via multi-objective separation, Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem, A branch-and-price algorithm for the minimum sum coloring problem, Safe Lower Bounds for Graph Coloring, Arc flow formulations based on dynamic programming: theoretical foundations and applications, Solving vertex coloring problems as maximum weight stable set problems, Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning, A new \textsf{DSATUR}-based algorithm for exact vertex coloring, Combining lithography and directed self assembly for the manufacturing of vias: connections to graph coloring problems, integer programming formulations, and numerical experiments, Solving the Pricing Problem in a Branch-and-Price Algorithm for Graph Coloring Using Zero-Suppressed Binary Decision Diagrams, Dual Inequalities for Stabilized Column Generation Revisited, A lexicographic pricer for the fractional bin packing problem, A simple branching scheme for vertex coloring problems, Interval scheduling with economies of scale, Graph coloring with decision diagrams


Uses Software


Cites Work