Proofs of Two Minimum Circuit Cover Conjectures.

Published in: J. Comb. Theory, Ser. B (1998)

Keyphrases

theorem prover
high speed
electronic circuits
theorem proving
circuit design
delay insensitive
formal proof
machine learning
analog circuits
frequency response
information retrieval
image processing
lower bound
inference rules