Приоритизация переменных в SAT
- Разработать и внедрить эвристику первоочередного выбора переменных, отвечающих за структуру схемы, при решении задачи SAT.
- Применить эвристику для получения оптимальных схем для умножителей размерности больше 3.
- Оценить границы применимости этой эвристики.
Если нужно, то этот тикет можно разбить на несколько частей.