Сведение задачи поиска минимальных схем к SAT/SMT
Предложить различные способы сведения задачи поиска минимальных схем к SAT/SMT, а также задачи разных ограничений на схему
Предложить различные способы сведения задачи поиска минимальных схем к SAT/SMT, а также задачи разных ограничений на схему