Table | Card | RUSMARC | |
Allowed Actions: –
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group: Anonymous Network: Internet |
Annotation
Объектом исследования является задача выполнимости булевых формул (SAT). Цель работы - исследование эффективности и улучшение эвристических методов решения задачи выполнимости булевых формул. В работе выполнен теоретический обзор методов решения задачи SAT. Проводилась экспериментальная проверка эвристических методов решения задачи выполнимости. В ходе исследования были предложены две модификации алгоритма вероятностного локального поиска. Степень внедрения – разработано программное приложение на основе вероятностного локального поиска. Эффективность предложенных модификаций подтверждается ускорением поиска решения на некоторых булевых формулах.
Document access rights
Network | User group | Action | ||||
---|---|---|---|---|---|---|
ILC SPbPU Local Network | All | |||||
Internet | Authorized users SPbPU | |||||
Internet | Anonymous |
Usage statistics
Access count: 106
Last 30 days: 0 Detailed usage statistics |