Fractional Chromatic Numbers from Exact Decision Diagrams

Timo Brand, Stephan Held

Recently, Van Hoeve proposed an algorithm for graph coloring based on an integer flow formulation on decision diagrams for stable sets. We prove that the solution to the linear flo…