MAX-SAT-Weighted — история изменений

Материал из DISCOPAL
Перейти к: навигация, поиск

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.

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