TY  - BOOK
AU  - Алфимов, Р.В.
TI  - Полиномиальный алгоритм для задачи выполнимости булевой формулы
T2  - Препринт
VL  - 028-95
SN  - 5-7262-0246-5
PY  - 1995///
CY  - М.
PB  - МИФИ (Техн. ун-т)
N2  - Библиогр.: с. 15
ER  -