Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
3rd annual symposium on theoretical aspects of computer science on STACS 86
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
LSS: a system for production logic synthesis
IBM Journal of Research and Development
Hi-index | 14.98 |
The problem of detecting sneak paths in transistor networks arises in the minimization of transistor networks. It is shown that the problem of detecting consistent sneak paths in very simple transistor networks is co-NP-complete.