Семинар лаборатории теоретической информатики: Роланд Чианг "Evaluation and Certification of Quantified Boolean Satisfiability".
Мероприятие завершено
13 ноября на семинаре лаборатории теоретической информатики состоится доклад Роланда Чианга " Evaluation and Certification of Quantified Boolean Satisfiability ".
Quantified Boolean Formulas (QBFs) allow compact encoding of decision problems even complete in the PSPACE complexity class. The broad applications of QBF satisfiability have attracted recent efforts to develop effective solvers regardless of its intractability. In this talk, we will address two key aspects, evaluation and certification, of QBF solving to enable practical applications.
Семинар пройдет с 18:10 до 19:30 в аудитории D109, Покровский бульвар, 11.
Заказ пропуска: dchernyshova@hse.ru