- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- Towards an (experimental) understanding of SAT Solvers
Open Collections
BIRS Workshop Lecture Videos
BIRS Workshop Lecture Videos
Towards an (experimental) understanding of SAT Solvers Simon, Laurent
Description
In this talk, we will present the basic principles of SAT solvers, by focusing on the essential ingredients most of the best SAT solvers embed. The practical applications of SAT solvers have attracted a lot of attention in the recent years, which is probably due to their ability to solve problems encoded in SAT more efficiently than adhoc methods. However, on these problems (where SAT solvers show very good results) the reasons for their efficiency remains largely unknown. We will thus also present a few experimental observations we gathered over the years. This should cast some lights on some of their mode of operation, sometimes counter intuitively, and stimulate further discussions.
Item Metadata
Title |
Towards an (experimental) understanding of SAT Solvers
|
Creator | |
Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
Date Issued |
2018-08-27T08:59
|
Description |
In this talk, we will present the basic principles of SAT solvers, by focusing on the essential ingredients most of the best SAT solvers embed. The practical applications of SAT solvers have attracted a lot of attention in the recent years, which is probably due to their ability to solve problems encoded in SAT more efficiently than adhoc methods. However, on these problems (where SAT solvers show very good results) the reasons for their efficiency remains largely unknown. We will thus also present a few experimental observations we gathered over the years. This should cast some lights on some of their mode of operation, sometimes counter intuitively, and stimulate further discussions.
|
Extent |
63.0
|
Subject | |
Type | |
File Format |
video/mp4
|
Language |
eng
|
Notes |
Author affiliation: LaBRI / University of Bordeaux
|
Series | |
Date Available |
2019-03-30
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
Attribution-NonCommercial-NoDerivatives 4.0 International
|
DOI |
10.14288/1.0377693
|
URI | |
Affiliation | |
Peer Review Status |
Unreviewed
|
Scholarly Level |
Faculty
|
Rights URI | |
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International