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]

> его содержание должны отсеивать спам-фильтры

почему?

(я увидел у кого-то ссылку относительно недавно, сейчас уже, боюсь, не вспомню, через кого я его нашел)

[ygam.livejournal.com]

Сообщение "Какой классный блог! Почему я о нем раньше не слышал?" характерно для спаммера, а не для живого человека.

[anhinga-anhinga.livejournal.com]

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