Login / Signup

Jacobian Hits Circuits: Hitting Sets, Lower Bounds for Depth-D Occur-k Formulas and Depth-3 Transcendence Degree-k Circuits.

Manindra AgrawalChandan SahaRamprasad SaptharishiNitin Saxena
Published in: SIAM J. Comput. (2016)
Keyphrases
  • lower bound
  • high speed
  • depth map
  • delay insensitive
  • ranking algorithm
  • depth information
  • logic synthesis
  • neural network
  • markov chain
  • horn clauses
  • digital circuits