Logic Minimization and Testability of 2-SPP Networks.
Anna BernasconiValentina CirianiRolf DrechslerTiziano VillaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
- classical logic
- social networks
- complex networks
- telecommunication networks
- asynchronous circuits
- digital circuits
- network size
- computer networks
- network model
- set theory
- cellular networks
- heterogeneous networks
- sound and complete axiomatization
- proof theory
- automated reasoning
- databases
- network design
- network structure
- cost function
- objective function
- knowledge base
- neural network