Title	Boolean Satisfiability: Theory and Engineering
Creator	Vardi, Moshe
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2018-08-27T18:41
Description	Since 2014, several leading theoreticians and experimentalists conducting research on Boolean satisfiability (SAT) solving have been meeting annually to stimulate an increased exchange of ideas between these two communities. The hope has been for for a fruitful interplay between theoretical and experimental research in this area, with the belief that a more vigorous interaction between the two has potential for major long-term impact in computer science and mathematics, as well for applications in industry. in this fifth meeting of this group, it is appropriate to ask how successful has the interplay between theoretical and experimental research in SAT solving. In this brief talk, I will outline some areas of real progress. At the same, I will argue that progress has been rather mild relative to expectations, and suggest some concrete research directions that could be pursued to advance the theory and engineering of SAT solving.
Extent	25.0
Subject	Mathematics; Computer science; Mathematical logic and foundations; Theoretical computer science
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: Rice University
Series	BIRS Workshop Lecture Videos (Oaxaca de Juárez (Mexico))
Date Available	2019-03-31
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0377702
URI	http://hdl.handle.net/2429/69364
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos

Boolean Satisfiability: Theory and Engineering Vardi, Moshe

Description

Item Metadata

Item Media

Item Citations and Data

Rights