https://www.cs.cornell.edu/~kroc/pub/surveyPropUAI07b.pdf и https://arxiv.org/pdf/1508.05117 - про "распространение мнений," survey propagation, алгоритм, что может вычислять решения случайных k- ( Read more... )

В статье про разложение на заблокированные ограничения (РЗО) упоминается забавный приём под названием SAT sweeping - переведём его, как "чистку схемы" (ЧС ( Read more... )