Detecting State Coding Conflicts in STGs Using Integer Programming

Cite this paper

@inproceedings{Khomenko2002DetectingSC, title={Detecting State Coding Conflicts in STGs Using Integer Programming}, author={Victor Khomenko and Maciej Koutny and Alexandre Yakovlev}, booktitle={DATE}, year={2002} }