MAX-SAT-Weighted — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «Как MAX-SAT, только есть веса для скобок, и оптимизируется вес. <latex> \begin{description} \item[$C_j$]: скобк…») |
(нет различий)
|
Текущая версия на 10:49, 18 декабря 2017
Как MAX-SAT, только есть веса для скобок, и оптимизируется вес.