Exploiting the structure of incompatibility graphs in high level synthesis - Jansen, Klaus (Univ., 1992)