TY - BOOK AU - Сафарян,А.А. TI - NP-полнота задачи разбиения систем булевых уравнений на минимальные блоки T2 - Сообщения по прикладной математике / АН СССР. ВЦ PY - 1984/// CY - Москва PB - ВЦ АН СССР KW - Алгебра логики ER -