"Non UBC"@en . "DSpace"@en . "Janota, Mikol\u00C3\u00A1\u00C5\u00A1"@en . "2019-04-01T11:29:33Z"@en . "2018-08-29T09:04"@en . "In this talk I will review the recent progress in the solving of Quantified\nBoolean Formulas (QBF). The initial research on QBF solving focused on extending SAT\ntechnology. However, in the recent approaches SAT solvers are used in a\nblack-box fashion and the search space is pruned by stronger constraints than just clauses.\nThe study of QBF has also revealed a number of limitations\nof the existing technology. Recent results show that some of these\nlimitations can be tackled by applying Machine Learning at the semantic level."@en . "https://circle.library.ubc.ca/rest/handle/2429/69377?expand=metadata"@en . "61.0"@en . "video/mp4"@en . ""@en . "Author affiliation: IST/INESC-ID, U. of Lisbon"@en . "10.14288/1.0377715"@en . "eng"@en . "Unreviewed"@en . "Vancouver : University of British Columbia Library"@en . "Banff International Research Station for Mathematical Innovation and Discovery"@en . "Attribution-NonCommercial-NoDerivatives 4.0 International"@en . "http://creativecommons.org/licenses/by-nc-nd/4.0/"@en . "Researcher"@en . "BIRS Workshop Lecture Videos (Oaxaca de Ju\u00E1rez (Mexico))"@en . "Mathematics"@en . "Computer science"@en . "Mathematical logic and foundations"@en . "Theoretical computer science"@en . "Advances in QBF Solving"@en . "Moving Image"@en . "http://hdl.handle.net/2429/69377"@en .