Login / Signup
On the estimation of logic complexity for design automation applications.
Devadas Varma
E. A. Trachtenberg
Published in:
ICCD (1990)
Keyphrases
</>
design automation
worst case
computer aided design
test generation
space complexity
pattern recognition
computational complexity
logic programming
computer assisted
circuit design
real world
artificial intelligence
modal logic
proof theory