Для цитирования:
Николаев А.В. О нецелочисленных вершинах релаксаций многогранника задачи 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.)