Exploiting the special structure of conflict and compatibility graphs in high-level synthesis. - D. L. Springer; Donald E. Thomas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)