On Proofs about Threshold Circuits and Counting Hierarchies.

Jan Johannsen Chris Pollett

Published in: LICS (1998)

Keyphrases

theorem prover
high speed
theorem proving
logic synthesis
analog vlsi
threshold selection
delay insensitive
artificial intelligence
hierarchical structure
database
case study
threshold values
digital circuits
natural deduction
formal proof
tunnel diode