Публикации с тегом sat
Решаем задачу про ферзей при помощи SMT-солвера +6
Ход в игре «крестики-нолики» с помощью SAT-солвера +6
Ленточные накопители в домашнем ПК +84
Формальные методы проверки смарт-контрактов
Разработка приложений для платёжных терминалов Ingenico +85
MIT, Гарвард и Лига плюща: как я поступала в лучшие ВУЗы США +93
Как бесплатно поступить в Гарвард, Стэнфорд, MIT: опыт Селимжана Чалышкана +3
Пять признаков того, что вы готовы к SAT Prep +6
