Separation of AC^0[oplus] Formulas and Circuits.

Benjamin Rossman Srikanth Srinivasan

Published in: ICALP (2017)

Keyphrases

arc consistency
neural network
analog vlsi
real time
high speed
circuit design
delay insensitive
database
genetic algorithm
knowledge base
case study
constraint satisfaction problems
digital circuits
mathematical formulas
lateral inhibition