Как ломается RSA512 за 3.5 часа на одном ядре старого ноутбука +36
Публикации с тегом выполнимость
Ход в игре «крестики-нолики» с помощью SAT-солвера +6
Хаос внутри судоку +56
Заметки о SQL и реляционной алгебре +32
Открытая лекция: задача выполнимости булевых формул +7
