Analysing Survey Propagation Guided Decimation on Random Formulas.

Samuel Hetterich

Published in: CoRR (2016)

Keyphrases

real time
uniformly distributed
recent trends
data mining
search engine
case study
optimal solution
boolean functions
randomly generated
cross sectional
predicate calculus