Семинар лаборатории теоретической информатики: Оценки на сложность вывода в системах доказательств, основанных на методе резолюции. Докладчик: В.В. Опарин (СПбАУ)

Мероприятие завершено

Семинар по теме "Оценки на сложность вывода в системах доказательств, основанных на методе резолюции" состоится в среду, 2 ноября.
Врямя проведения:18:10 - 19:30
Адрес мероприятия: Кочновский проезд, д. 3, ауд. 505
Заказ пропуска: evavilova@hse.ru

На семинаре мы обсудим верхние оценки на сложность принципа Дирихле и принципа совершенного паросочетания в классической резолюционной системе доказательств и древовидной системе с резолюциями по линейным формам. Также мы обсудим задачу избегаемости частичных строк и применение к ней расширенных версий классических систем доказательств. В конце мы затронем применение метода резолюций для формул на небинарном алфавите.

Дата

2 ноября 18:10

Адрес

Кочновский пр-д, д.3

В статье упомянуты

Международная лаборатория теоретической информатики