Satisfiability Models and Algorithms for Circuit Delay Computation
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.
This is the latest version of this item.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Restricted to Registered users only Download (264Kb) |
| Item Type: | Article |
|---|---|
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 262212 |
| Date Deposited: | 29 Mar 2006 |
| Last Modified: | 16 Aug 2012 03:46 |
| Contributors: | Silva, L. Guerra (Author) Marques-Silva, J. P. (Author) Silveira, L. M. (Author) Sakallah, K. A. (Author) |
| Date: | January 2002 |
| Status: | Published |
| Further Information: | Google Scholar |
| ISI Citation Count: | 10 |
| URI: | http://eprints.soton.ac.uk/id/eprint/262212 |
Available Versions of this Item
- Satisfiability Models and Algorithms for Circuit Delay Computation. (deposited 29 Mar 2006) [Currently Displayed]
Actions (login required)
 |
View Item |
