-
1
-
-
85028925878
-
Proof verification and hardness of approximation problems
-
S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy, "Proof verification and hardness of approximation problems," in: Proceedings of the 33rd Annual IEEE Symposium on Foundations of Computer Science (1992), pp. 14-23.
-
(1992)
Proceedings of the 33rd Annual IEEE Symposium on Foundations of Computer Science
, pp. 14-23
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
2
-
-
0024012514
-
An application of combinatorial optimization to statistical physics and circuit layout design
-
F. Barahona, M. Grotschel, M. Jünger, and G. Reinelt, "An application of combinatorial optimization to statistical physics and circuit layout design," Oper. Res., 36, 493-513 (1988).
-
(1988)
Oper. Res.
, vol.36
, pp. 493-513
-
-
Barahona, F.1
Grotschel, M.2
Jünger, M.3
Reinelt, G.4
-
3
-
-
17144385972
-
Algorithms for SAT and upper bounds on their complexity
-
E. Ya. Dantsin, E. A. Hirsch, S. V. Ivanov, and M. A. Vsemirnov, "Algorithms for SAT and upper bounds on their complexity," Zap. Nauchn. Semin. POMI, 277, 14-46 (2001).
-
(2001)
Zap. Nauchn. Semin. POMI
, vol.277
, pp. 14-46
-
-
Dantsin, E.Ya.1
Hirsch, E.A.2
Ivanov, S.V.3
Vsemirnov, M.A.4
-
4
-
-
0346752901
-
New worst-case upper bounds for MAX-2-SAT with application to MAX-CUT
-
Electronic Colloquium on Computational Complexity
-
J. Gramm, E. A. Hirsch, R. Niedermeier, and P. Rossmanith, "New worst-case upper bounds for MAX-2-SAT with application to MAX-CUT," Technical Report 00-037, Electronic Colloquium on Computational Complexity (2000).
-
(2000)
Technical Report
, Issue.37
-
-
Gramm, J.1
Hirsch, E.A.2
Niedermeier, R.3
Rossmanith, P.4
-
5
-
-
0003037529
-
Reducibility among combinatorial problems
-
R. Miller and J. Thatcher (eds.), Plenum Press, New York
-
R. M. Karp, "Reducibility among combinatorial problems," in: Complexity of Computations, R. Miller and J. Thatcher (eds.), Plenum Press, New York (1972), pp. 85-103.
-
(1972)
Complexity of Computations
, pp. 85-103
-
-
Karp, R.M.1
-
7
-
-
0026366408
-
Optimization, approximation, and complexity classes
-
C. H. Papadimitriou and M. Yannakakis, "Optimization, approximation, and complexity classes," J. Comput. Sys. Sci., 43, 425-440 (1991).
-
(1991)
J. Comput. Sys. Sci.
, vol.43
, pp. 425-440
-
-
Papadimitriou, C.H.1
Yannakakis, M.2
-
8
-
-
17144402692
-
-
personal communication to the authors of [4]
-
U. Zwick, personal communication to the authors of [4] (2000).
-
(2000)
-
-
Zwick, U.1
|