Электронный каталог

    страница из
    всего найдено записей: 3,
      отображать

    Лицевая сторона карточкиОбратная сторона карточки

    De Klerk E. Relaxations of the satisfiability problem using semidefinite programming / E.De Klerk,H.van Maaren,J.P.Warners, 1999. - 21 p. - Текст : непосредственный.

    Warners J.P. two phase algorithm for solving a class of hard satisfiability problems / J.P.Warners,H.van Maaren, 1998. - 10 p. - Текст : непосредственный.