О скрытых упрощающих структурах в комбинаторных задачах и их вероятностных обобщениях комбинаторных задач из семейств SAT (проблема булевой выполнимости) и 0-1-ILP (0-1-
целочисленное линейное Линейное и динамическое программирование. Лабораторный практикум : пособиеЛинейное и динамическое
программирование. Лабораторный практикум : пособие