Proving Hard-Core Predicates Using List Decoding.

Adi Akavia Shafi Goldwasser Shmuel Safra

Published in: FOCS (2003)

Keyphrases

decoding algorithm
multiscale
rough sets
information retrieval systems
horn clauses
bayesian networks
natural language
information extraction
user defined
symmetry breaking