The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



SAT Solving: Present and Future

Kullmann, O (Swansea University)
Tuesday 27 March 2012, 16:00-16:30

Seminar Room 1, Newton Institute


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.


[pdf ]


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.

Back to top ∧