| CARVIEW |
Select Language
HTTP/2 301
date: Tue, 06 Jan 2026 08:56:19 GMT
content-type: text/html; charset=iso-8859-1
location: https://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401211002-LeBerre.html
server: cloudflare
strict-transport-security: max-age=63072000
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=lDSwMZzgm9FT%2BfHvTv3AV1gWx6SsAmFGU9ebcyvtSP%2FbBDQROUBb28%2BW%2BBnq4yYaAdDfHm1xgbYxRLBW6BC9Ic2CwEuXsypd25oS"}]}
cf-cache-status: MISS
vary: accept-encoding
cf-ray: 9b9a005cd89e3af5-BOM
alt-svc: h3=":443"; ma=86400
HTTP/2 200
date: Tue, 06 Jan 2026 08:56:22 GMT
content-type: text/html; charset=UTF-8
server: cloudflare
strict-transport-security: max-age=63072000
x-powered-by: PHP/5.4.16
set-cookie: CAKEPHP=lptrd6r46ebv56fp1b5r58llb5; expires=Thu, 12-Nov-3170899 18:41:21 GMT; path=/; secure
p3p: CP="NOI ADM DEV PSAi COM NAV OUR OTRo STP IND DEM"
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=EMY1KEAR%2Bmyofggj5Nfs9K2CArUfuAAI2c5Qy61nyJSBBaMaka0D4JzdhfCiV0hosiZoB4xiNXwHlpMP2qsbUWVtQiQV8eGFkO77"}]}
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
cf-cache-status: DYNAMIC
content-encoding: gzip
cf-ray: 9b9a0063ade63af5-BOM
alt-svc: h3=":443"; ma=86400
Video: Daniel Le Berre, "Survey on integrating cutting planes in CDCL solvers"
- Home
- About
- Resources
- Programs
- General Program Descriptions
- Calendar of All BIRS Events
- List of All Events
- Workshops at CMO (Mexico)
- Workshops at IASM (China)
- Workshops at IMAG (Spain)
- Workshops at UBCO (Canada)
- Workshops at CMI (India)
- List of 5-Day Workshops
- List of 2-Day Workshops
- Focused Research Groups
- Public Lectures
- Research in Teams
- Summer Schools
- Live Stream
- Videos
- Services
- Publications
- Search
- Contact
Video From 14w5101: Theoretical Foundations of Applied SAT Solving
Tuesday, January 21, 2014 10:02 - 10:59
Survey on integrating cutting planes in CDCL solvers
Daniel Le Berre, Video: Survey on integrating cutting planes in CDCL solvers
Daniel Le Berre, Video: Survey on integrating cutting planes in CDCL solvers
Daniel Le Berre, Survey on integrating cutting planes in CDCL solvers, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
106M
https://www.birs.ca/events/2014/5-day-workshops/14w5101/videos
https://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401211002-LeBerre.html
Chrome browser warning: due to this issue in the Chrome web brower, the video may fail to play. You can either click the "Download this video" link to watch, or change the URL from https://... to https://...
©2026 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.



