Refine your search
Availability
-
bib-level
-
Authors
- Andreeva, V. V. (1)
- Golubeva, Olga (1)
- Goshin, G. G. (1)
- Matrosova, Anzhela Yu (3)
- Nikolaeva, Ekaterina A. (1)
- Provkin, V. А. (2)
- Tychinskiy, V. Z. (2)
- Андреева, Валентина Валерьевна (3)
- Головин, Артем Витальевич (1)
- Голубева, Ольга Ивановна (1)
- Гошин, Геннадий Георгиевич (1)
- Доронин, Артемий Евгеньевич (1)
- Заикин, Олег Сергеевич (1)
- Иванкин, Дмитрий Ильич (1)
- Калгин, Константин Викторович (2)
- Кидярова, Галина Владимировна (1)
- Матросова, Анжела Юрьевна (1)
- Николаева, Екатерина Александровна (1)
- Провкин, Виктор Алексеевич (4)
- Тычинский, Вячеслав Зиновьевич (3)
- Show more
- Show less
-
Locations
- Книгохранилище (1)
- Читальный зал 5 (1)
-
Item types
-
Topics
- D-SAT, программа (1)
- MIP-решатели задач (1)
- NP-трудные задачи (1)
- NP-трудные задачи, доказательство (1)
- NP-трудные задачи, прмеры (1)
- ROBDD-графы (1)
- SAT решатели (2)
- SAT-задачи (1)
- SAT-проблема (1)
- SAT-решатели (15)
- SAT-решатели задач (1)
- Беллмана-Хелда-Карпа алгоритм для задачи коммивояжера (1)
- Гиффорда генератор (1)
- КНФ разрешения (1)
- Цейтина КНФ (2)
- алгебраическая нормальная форма (1)
- комбинационные логические схемы (2)
- комбинационные схемы (3)
- логические неисправности (3)
- тестовые пары (2)
- Show more
- Show less