Tod Amon, Gaetano Borriello, Jiwen Liu
Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don’t Cares
DAC, 1998.
@inproceedings{DAC-1998-AmonBL,
author = "Tod Amon and Gaetano Borriello and Jiwen Liu",
booktitle = "{Proceedings of the 35th Design Automation Conference}",
doi = "10.1145/277044.277198",
isbn = "0-89791-964-5",
pages = "586--590",
publisher = "{ACM Press}",
title = "{Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don’t Cares}",
year = 1998,
}