On the K-sat model with large number of clauses.

Dmitry Panchenko

Published in: Random Struct. Algorithms (2018)

Keyphrases

computational model
formal model
probabilistic model
small number
theoretical framework
similarity measure
computational complexity
lower bound
prior knowledge
management system
em algorithm
orders of magnitude
mathematical model
network structure