Random Formulas, Monotone Circuits, and Interpolation.

Pavel Hrubes Pavel Pudlák

Published in: FOCS (2017)

Keyphrases

high speed
image interpolation
data sets
upper bound
image reconstruction
circuit design
linear interpolation
search algorithm
infrared
boolean functions
horn clauses
analog vlsi
randomly distributed
subjective probabilities