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