Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул

Санкт-Петербург

154 стр.

Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул — Гирш, Эдуард Алексеевич — 1998 — Российская библиотека диссертаций