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

Comments

[anhinga-anhinga.livejournal.com]

Ааа.. Я подумал, что "его содержание" относится к блогу, а не к комментарию, и это было очень загадочно :-)