| № | Дата |
Автор |
Заглавие |
|---|
|
2005 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2005 |
Hartmann, Alexander K. |
Phase transitions in combinatorial optimization problems : basics, algorithms a. statist. mechanics / Alexander K. Hartmann, Martin Weigt |
|
2015 |
Ульянцев, Владимир Игоревич |
Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Ульянцев Владимир Игоревич ; [Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики] |
|
1998 |
Гирш, Эдуард Алексеевич (кандидат физико-математических наук ; род. 1973) |
Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.17 / С.-Петерб. гос. ун-т |
|
2012 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
1988 |
Уткин, Анатолий Александрович (информатика) |
Экспериментальное исследование задачи о выполнимости |
|
2009 |
Хныкин, Иван Геннадьевич |
Информационная технология минимизации функционалов, ассоциированных с задачей ВЫПОЛНИМОСТЬ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Хныкин Иван Геннадьевич ; [Государственное образовательное учреждение высшего профессионального образования "Омский государственный университет им. Ф. М. Достоевского"] |
|
2014 |
Соколов, Дмитрий Олегович |
Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальности 01.01.06 Математическая логика, алгебра и теория чисел, 01.01.09 Дискретная математика и математическая кибернетика / Соколов Дмитрий Олегович ; [Санкт-Петербургское отделение Московского института им. В. А. Стеклова Российской академии наук] |
|
2015 |
Калинина, Инна Сергеевна |
Системы функциональных уравнений счетнозначной логики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Калинина Инна Сергеевна ; Московский государственный университет им. М. В. Ломоносова |
|
2008 |
Скворцов, Евгений Сергеевич |
Об эффективных алгоритмах для задачи CSP и их программной реализации : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Скворцов Евгений Сергеевич ; Государственное образовательное учреждение высшего профессионального образования "Уральский государственный университет им. А. М. Горького" |
|
2010 |
Дулькейт, Владимир Игоревич (кандидат физико-математических наук) |
КНФ представления для задач факторизации, дискретного логарифмирования и логарифмирования на эллиптической кривой : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Дулькейт Владимир Игоревич ; [Институт математики и информационных технологий Омского государственного унверитета им. Ф. М. Достоевского] |
|
2011 |
Захаров, Владимир Анатольевич (кандидат физико-математических наук) |
Проблема эквивалентности программ: модели, алгоритмы, сложность : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Захаров Владимир Анатольевич ; Московский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики |
|
2006 |
Ягофарова, Дарья Ивановна |
Разработка и анализ алгоритмов для задачи выполнимости и ее обобщений на основе L-разбиения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 / Ягофарова Дарья Ивановна ; [Омский филиал института математики им. С. Л. Соболева СО РАН] |
|
2017 |
Горшков, Сергей Павлович (доктор физико-математических наук, математик) |
Сложность решения систем булевых уравнений : монография / С. П. Горшков, А. В. Тарасов |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ