|
Modelirovanie i Analiz Informatsionnykh Sistem, 2007, Volume 14, Number 2, Pages 7–11
(Mi mais127)
|
|
|
|
On relaxation polytope of 3-satisfiability problem
B. V. Uryvaev Yaroslavl State University
Abstract:
The properties of a polytope associated with the 3-satisfiability problem are investigated. Particularly, we prove that values of its vertice coordinates can be represented by fractions with arbitrarily large denominators.
Received: 18.05.2007
Citation:
B. V. Uryvaev, “On relaxation polytope of 3-satisfiability problem”, Model. Anal. Inform. Sist., 14:2 (2007), 7–11
Linking options:
https://www.mathnet.ru/eng/mais127 https://www.mathnet.ru/eng/mais/v14/i2/p7
|
|