BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

The (un)reasonable (in)effectiveness of theory for Sat solvers Buss, Sam


There is an increasing interplay between practical implementations of Sat Solvers and theoretical results about proof complexity. In some cases, theory can be useful for understanding or designing Sat solvers, but the connections are not as strong as might be wished for. This talk will discuss these issues, and make some suggestions for further research directions both for theoreticians and for practitioners.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International