Рассказывается о курсе, на котором участники решали комбинаторные задачи при помощи SAT- и ILP-солверов. Описывается задача, связанная с синтезом булевых схем при помощи SAT-солверов, которая была предложена в конце курса.
Рассказывается о курсе, на котором участники решали комбинаторные задачи при помощи SAT- и ILP-солверов. Описывается задача, связанная с синтезом булевых схем при помощи SAT-солверов, которая была предложена в конце курса.