@article{CMUC_1994__35_1_a14,
     author = {Jansen, Klaus},
     title = {Exploiting the structure of conflict graphs  in high level synthesis},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {155--167},
     publisher = {mathdoc},
     volume = {35},
     number = {1},
     year = {1994},
     mrnumber = {1292591},
     zbl = {0806.68058},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1994__35_1_a14/}
}