MAX SAT

method ID: maxsat

Входящие связи

Связь	Исходная сущность	Тип	Действия
computes	Коррекция согласованности через обнаружение отношений	method	Просмотр