Seminar of the laboratory: Jie-Hong Roland Jiang "Evaluation and Certification of Quantified Boolean Satisfiability"
On November 13, 2019 Jie-Hong Roland Jiang will give a lecture " 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.
Address:11 Pokrovsky Boulevard, building D
If you need a pass to the building, please contact Dina Сhernyshova: email@example.com.