SAT-солверы | Александр Куликов | Лекториум

Как улучшить верхние оценки на схемную сложность при помощи SAT-солверов | Конференция: Машинное обучение и анализ алгоритмов| Лектор: Александр Куликов | Организатор: CSClub