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

Comments

[anhinga_anhinga]

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

почему?

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

[anhinga_anhinga]

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