Насчет статьи на Хабре...
Информация для соискателей -- "Задача про справки" легко решается при помощи SAT/SMT-солверов, некоторые отдаленно похожие примеры есть в SAT/SMT by Example.
А если количество "справок" и "контор" немного, то это можно даже решить примитивным самодельным SAT-солвером, сделанным на коленке...
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.