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

Урываев Б.В. О релаксационном многограннике задачи «3-выполнимость». Моделирование и анализ информационных систем. 2007;14(2):7-11.

For citation:

Uryvaev B.V. On Relaxation Polytope of 3-satisfiability Problem. Modeling and Analysis of Information Systems. 2007;14(2):7-11. (In Russ.)