Silva, L. Guerra, Marques-Silva, J. P., Silveira, L. M. and Sakallah, K. A. (2002) Satisfiability Models and Algorithms for Circuit Delay Computation. ACM Transactions on Design Automation of Electronic Systems, 7 (1), 137-158.
Record type:
Article
More information
Published date: January 2002
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262212
URI: http://eprints.soton.ac.uk/id/eprint/262212
PURE UUID: 8d7ae5c3-44d2-4072-9b5f-48910fd7049a
Catalogue record
Date deposited: 29 Mar 2006
Last modified: 14 Mar 2024 07:07
Export record
Contributors
Author:
L. Guerra Silva
Author:
J. P. Marques-Silva
Author:
L. M. Silveira
Author:
K. A. Sakallah
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.