Laboratory of Mathematical Logic at PDMI

Понедельник, 28 апреля, комната 203. Начало в 16:00.

Докладчик: Э. А. Гирш.

Тема: Новости о пропозициональной выполнимости.

Abstract

В докладе будут рассказаны новости, почерпнутые докладчиком на последней конференции по выполнимости в Dagstuhlе (апрель 2003).