Для цитирования:

Николаев А.В. О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ. Моделирование и анализ информационных систем. 2010;17(2):99-111.

For citation:

Nikolaev A.V. On nonintegral vertices of 3-SAT problem relaxation polytope. Modeling and Analysis of Information Systems. 2010;17(2):99-111. (In Russ.)