Объектом исследования является задача выполнимости Ð±ÑƒÐ»ÐµÐ²Ñ‹Ñ Ñ„Ð¾Ñ€Ð¼ÑƒÐ» (SAT). Цель работы - исследование эффективности и улучшение ÑÐ²Ñ€Ð¸ÑÑ‚Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ð¼ÐµÑ‚Ð¾Ð´Ð¾Ð² решения задачи выполнимости Ð±ÑƒÐ»ÐµÐ²Ñ‹Ñ Ñ„Ð¾Ñ€Ð¼ÑƒÐ». Ð’ работе выполнен теоретический обзор методов решения задачи SAT. Проводилась экспериментальная проверка ÑÐ²Ñ€Ð¸ÑÑ‚Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ð¼ÐµÑ‚Ð¾Ð´Ð¾Ð² решения задачи выполнимости. Ð’ Ñ Ð¾Ð´Ðµ исследования были предложены две модификации алгоритма вероятностного локального поиска. Степень внедрения – разработано программное приложение на основе вероятностного локального поиска. Эффективность Ð¿Ñ€ÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð½Ñ‹Ñ Ð¼Ð¾Ð´Ð¸Ñ„Ð¸ÐºÐ°Ñ†Ð¸Ð¹ подтверждается ускорением поиска решения на Ð½ÐµÐºÐ¾Ñ‚Ð¾Ñ€Ñ‹Ñ Ð±ÑƒÐ»ÐµÐ²Ñ‹Ñ Ñ„Ð¾Ñ€Ð¼ÑƒÐ»Ð°Ñ .