Satisfiability Models and Algorithms for Circuit Delay Computation
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2002-01.
|
| Subjects: | |
| Online Access: | Get fulltext |
| LEADER | 00447 am a22001453u 4500 | ||
|---|---|---|---|
| 001 | 262212 | ||
| 042 | |a dc | ||
| 100 | 1 | 0 | |a Silva, L. Guerra |e author |
| 700 | 1 | 0 | |a Marques-Silva, J. P. |e author |
| 700 | 1 | 0 | |a Silveira, L. M. |e author |
| 700 | 1 | 0 | |a Sakallah, K. A. |e author |
| 245 | 0 | 0 | |a Satisfiability Models and Algorithms for Circuit Delay Computation |
| 260 | |c 2002-01. | ||
| 856 | |z Get fulltext |u https://eprints.soton.ac.uk/262212/1/jpms-todaes02.pdf | ||
| 655 | 7 | |a Article | |