Семинар Markov Lab -- 2026-03-06 -- Алгоритмы для SAT в применении к комбинаторным задачам3просмотра17 дней назад