Полиномиальный алгоритм для задачи выполнимости булевой формулы
96-4/9413 - 100 экз.5-7262-0246-5/русский (rus)/Полиномиальный алгоритм для задачи выполнимости булевой формулы .Полиномиальный алгоритм для задачи выполнимости булевой формулы.Полиномиальный алгоритм для задачи выполнимости булевой формулы.М./МИФИ (Техн. ун-т)/, 1995 ( ). - МИФИ (Техн. ун-т), 1995. - 15 с. : ил. ; 20 см. - (Препринт / Гос. ком. Рос. Федерации по высш. образованию. Моск. гос. инж.-физ. ин-т (Техн. ун-т) ; 028-95).Полиномиальный алгоритм для задачи выполнимости булевой формулы. М., 1995 .
Библиогр.: с. 15. Библиогр.: с. 15.
Библиогр.: с. 15. Библиогр.: с. 15.