Satisfiability and Derandomization for Small Polynomial Threshold Circuits.

Valentine Kabanets Zhenjian Lu

Published in: APPROX-RANDOM (2018)

Keyphrases

computational complexity
np complete
satisfiability problem
delay insensitive
real time
high speed
propositional logic
social networks
description logics
phase transition
low order
power dissipation
asynchronous circuits