Pr1090 Pr1090/2003-44 Pr1090/2003-44 / Pr1090/2003-44-02 Berman, Piotr. Approximation hardness and satisfiability of bounded occurrence instances of SAT : сборник / P. Berman, M. Karpinski, A.D. Scott. - Bonn : [s. n.], 2003. - 13 p. - (Preprint series / Max-Planck-Inst. fur Mathematik ; MPI 03-44). - Bibliogr.: p. 11-13 Перевод заглавия: Аппроксимативная жесткость и выполняемость связанных событий SAT Рубрики: Вычислимые функции Вычислимость в математической логике Дескрипторы: моногр -- сб пр Доп.точки доступа: Karpinski, Marek; Scott, Alex D Экземпляры всего: 1 02 (1) Свободны: 02 (1) |