Login / Signup
Satisfiability and Derandomization for Small Polynomial Threshold Circuits.
Valentine Kabanets
Zhenjian Lu
Published in:
Electron. Colloquium Comput. Complex. (2018)
Keyphrases
</>
high speed
satisfiability problem
propositional logic
logic synthesis
database
learning algorithm
np complete
model checking
computational properties
delay insensitive
analog vlsi