Bernhard Rohfleisch, Bernd Wurth, Kurt Antreich
Logic Clause Analysis for Delay Optimization
DAC, 1995.
@inproceedings{DAC-1995-RohfleischWA,
author = "Bernhard Rohfleisch and Bernd Wurth and Kurt Antreich",
booktitle = "{Proceedings of the 32nd Design Automation Conference}",
doi = "10.1145/217474.217608",
isbn = "0-89791-725-1",
pages = "668--672",
publisher = "{ACM Press}",
title = "{Logic Clause Analysis for Delay Optimization}",
year = 1995,
}