School of Computing

Jan 15
15:00 - 16:00
PLAS: Mikoláš Janota
PLAS Group Seminar
Advances in Boolean Quantification and Beyond

n this talk I will review the recent progress in the solving of Quantified Boolean Formulas (QBF). The initial research on QBF focused on extending SAT technology.  However, in the recent approaches SAT solvers are used in a black-box fashion and the search space is pruned by stronger constraints than just clauses. The study of QBF has also revealed a number of limitations of the existing  technology. Recent results show that some of these limitations can be tackled by applying Machine Learning at the semantic level. I'll close the talk by relating the QBF results to more general logics.

Visit the event web page

Location

SW101,
Cornwallis South West,
University of Kent,
Canterbury,
Kent,
CT2 7NF
United Kingdom
Map

Details

Contact: O.Chitil
E: oc@kent.ac.uk
School of Computing

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015