Сафарян, А. А.

NP-полнота задачи разбиения систем булевых уравнений на минимальные блоки / А. А. Сафарян. - Москва : ВЦ АН СССР, 1984. - 19 с. - Сообщения по прикладной математике / АН СССР. ВЦ . - Сообщения по прикладной математике .

Алгебра логики