From a workshop on role of theory in design automation

[anhinga_anhinga]

"One of the recurrent themes of the discussion is: we have SAT solvers that seem to work on all examples we try them on. How does this fit with the conventional wisdom that P not equal to NP? This is a very interesting open problem, that we should work on in the future."

from http://rjlipton.wordpress.com/2009/07/09/nsf-workshop-summary/ via rjlipton