"Non UBC"@en . "DSpace"@en . "Vardi, Moshe"@en . "2019-03-31T10:34:29Z"@en . "2018-08-27T18:41"@en . "Since 2014, several leading theoreticians and experimentalists\nconducting research on Boolean satisfiability (SAT) solving have been\nmeeting annually to stimulate an increased exchange of ideas between\nthese two communities. The hope has been for for a fruitful interplay \nbetween theoretical and experimental research in this area, with the \nbelief that a more vigorous interaction between the two has potential \nfor major long-term impact in computer science and mathematics, as well \nfor applications in industry.

\n\nin this fifth meeting of this group, it is appropriate to ask how\nsuccessful has the interplay between theoretical and experimental\nresearch in SAT solving. In this brief talk, I will outline some areas of\nreal progress. At the same, I will argue that progress has been rather mild\nrelative to expectations, and suggest some concrete research directions\nthat could be pursued to advance the theory and engineering of SAT\nsolving."@en . "https://circle.library.ubc.ca/rest/handle/2429/69364?expand=metadata"@en . "25.0"@en . "video/mp4"@en . ""@en . "Author affiliation: Rice University"@en . "10.14288/1.0377702"@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 . "Faculty"@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 . "Boolean Satisfiability: Theory and Engineering"@en . "Moving Image"@en . "http://hdl.handle.net/2429/69364"@en .