О релаксационном многограннике задачи «3-выполнимость»

Исследуются свойства многогранника, ассоциированного с задачей «3-выполнимость». Устанавливается, в частности, что значениями координат его вершин могут быть дроби с как угодно большими знаменателями.