1: \begin{abstract}

2: Branch-and-price algorithms combine a branch-and-bound search with an exponentially-sized LP

3: formulation that must be solved via column generation.  Unfortunately, the standard branching rules

4: used in branch-and-bound for integer programming interfere with the structure of the column

5: generation routine; therefore, most such algorithms employ alternate branching rules to circumvent

6: this difficulty.  This paper shows how a \defn{zero-suppressed binary decision diagram} (ZDD) can be

7: used to solve the pricing problem in a branch-and-price algorithm for the graph coloring problem,

8: even in the presence of constraints imposed by branching decisions.  This approach facilitates a

9: much more direct solution method, and can improve convergence of the column generation subroutine.

10: \end{abstract}

11: