Вид документа : Однотомное издание Шифр издания : Pr1090/Pr1090/2003-44 Автор(ы) : Berman, Piotr, Karpinski, Marek, Scott, Alex D Заглавие : Approximation hardness and satisfiability of bounded occurrence instances of SAT : сборник Выходные данные : Bonn, 2003 Колич.характеристики :13 p. Серия: Preprint series/ Max-Planck-Inst. fur Mathematik; MPI 03-44 Примечания : Bibliogr.: p. 11-13 Цена : 3.10 р. ГРНТИ : 27.03 ББК : В127 Предметные рубрики: Вычислимые функции Вычислимость в математической логике Дескрипторы: моногр--сб пр Экземпляры :02(1) Свободны : 02(1) Доп.точки доступа: Karpinski, Marek; Scott, Alex D |