Комбинаторные задачи и синтез булевых схем при помощи SAT-солверов
Рассказывается о курсе, на котором участники решали комбинаторные задачи при помощи SAT- и ILP-солверов. Описывается задача, связанная с синтезом булевых схем при помощи SAT-солверов, которая была пр…
ВОЙТИ