• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Events

Seminar of the laboratory: Jie-Hong Roland Jiang "Evaluation and Certification of Quantified Boolean Satisfiability"

Event ended

On November 13, 2019  Jie-Hong Roland Jiang will give a lecture " Evaluation and Certification of Quantified Boolean Satisfiability ".

Abstract: 
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.

Address:11 Pokrovsky Boulevard, building D

Language: English
Time: 18:10-19:30
Room: D109

If you need a pass to the building, please contact Dina Сhernyshova: dchernyshova@hse.ru.