Как мы в 2 раза ускорили решение MILP-проблем за счет ML 27.04.2024 12:12 piero 0 Алгоритмы Data Mining Искусственный интеллект Транспорт Блог компании Цифра
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8 29.04.2019 14:32 scp1001 3 Информационная безопасность PHP Python Ненормальное программирование Децентрализованные сети
Формальная верификация на примере задачи о волке, козе и капусте +27 22.04.2019 12:42 scp1001 48 Информационная безопасность Из песочницы
Почему люди не используют формальные методы? +29 23.01.2019 20:09 m1rko 16 Программирование Математика
SMT-решатель на iPhone +15 09.11.2018 15:10 m1rko 32 Математика Высокая производительность Процессоры