[Russian] KasperskyOS

Насчет статьи на Хабре...

Информация для соискателей -- "Задача про справки" легко решается при помощи SAT/SMT-солверов, некоторые отдаленно похожие примеры есть в SAT/SMT by Example.

А если количество "справок" и "контор" немного, то это можно даже решить примитивным самодельным SAT-солвером, сделанным на коленке...


List of my other blog posts. My company.

Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.