skip to content

SAT Solving: Present and Future

Tuesday 27th March 2012 - 16:00 to 16:30
INI Seminar Room 1
SAT solving experienced exciting developments, especially in the last ten years. It seems fair to say that certain areas of industry, like EDA (Electronic Design Automation) would not be able perform at the current level without "SAT technology". In the first part of my talk I will give some short overview on this development. Then, in the second part, I want to discuss directions for the future.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons