![image][1]

###### (Скриншот из презентации: [slideplayer.com/slide/3238789][2])

Приглашаем всех на открытую лекцию [Computer Science центра][3], посвященную задаче выполнимости булевых формул — одной из самых известных и важных алгоритмических задач. Лекция пройдёт в рамках встречи со слушателями онлайн-курса [«Алгоритмы: теория и практика. Методы»][4]. Время и место проведения: 25 декабря, 19:00, БЦ Таймс (г. Санкт-Петербург, ул. Кантемировская 2А, 4 этаж). Участие бесплатное, но требуется регистрация: [goo.gl/IiNvV8][5] Задача выполнимости — каноническая трудная задача, по которой проводится огромное количество исследований: как практических, так и теоретических. В частности, этой задаче посвящена ежегодная международная конференция. Каждый год проходят соревнования программ для данной задачи (так называемых сат-солверов). Такие программы активно используются во многих прикладных областях. Буквально несколько месяцев назад Дональд Кнут дописал том 4B монографии «Искусство программирования», треть которого посвящена задаче выполнимости. [Читать дальше →][6]

[1]: https://habrastorage.org/getpro/habr/post_images/61a/e8c/ff1/61ae8cff182b31802a18965f4c1897dd.png
[2]: http://slideplayer.com/slide/3238789/
[3]: http://compscicenter.ru
[4]: http://stepic.org/217
[5]: https://goo.gl/IiNvV8
[6]: http://habrahabr.ru/post/273505/#habracut