BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

A Survey on Worst-Case Complexity of SAT Santhanam, Rahul


I will survey work on exact algorithms for SAT, analyzed by their worst-case complexity. I will mention some of the algorithmic paradigms and methods of analysis used, and propose several directions for further research.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International