-
1
-
-
85028925878
-
Proof verification and the hardness of approximation problems
-
Pittsburgh, PA
-
S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof verification and the hardness of approximation problems, Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, PA, 1992, pp. 14-23.
-
(1992)
Proceedings of the 33rd Annual 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
-
-
84968014854
-
Probabilistic checking of proofs: A new characterization of NP
-
Pittsburgh, PA
-
S. Arora, S. Safra, Probabilistic checking of proofs: a new characterization of NP, Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, PA, 1992, pp. 2-13.
-
(1992)
Proceedings of the 33rd Annual Symposium on Foundations of Computer Science
, pp. 2-13
-
-
Arora, S.1
Safra, S.2
-
3
-
-
0027308413
-
Efficient probabilistically checkable proofs and applications to approximation
-
M. Bellare, S. Goldwasser, C. Lund, A. Russell, Efficient probabilistically checkable proofs and application to approximation, Proceedings of the 25th Annual ACM Symposium on Theory Comput., San Diego, CA, 1993, pp. 294-304. (Pubitemid 23668767)
-
(1993)
Conference Proceedings of the Annual ACM Symposium on Theory of Computing
, pp. 294-304
-
-
Bellare, M.1
Goldwasser, S.2
Lund, C.3
Russell, A.4
-
4
-
-
0029519801
-
PCPs and non-approximability - Towards tight results
-
Milwaukee, WI
-
M. Bellare, S. Goldwasser, M. Sudan, Free bits, PCPs and non-approximability - towards tight results, Proceedings of the 36th Annual Symposium on Foundations of Computer Science, Milwaukee, WI, 1995, pp. 422-431.
-
(1995)
Proceedings of the 36th Annual Symposium on Foundations of Computer Science
, pp. 422-431
-
-
Bellare, M.1
Goldwasser, S.2
Sudan, M.3
Bits, F.4
-
5
-
-
84965063004
-
An inequality with applications to statistical estimation for probabilistic functions of Markov processes and to a model for ecology
-
L.E. Baum, and J.A. Eagon An inequality with applications to statistical estimation for probabilistic functions of Markov processes and to a model for ecology Bull. Amer. Math. Soc. 73 1967 360 363
-
(1967)
Bull. Amer. Math. Soc.
, vol.73
, pp. 360-363
-
-
Baum, L.E.1
Eagon, J.A.2
-
6
-
-
84972571328
-
Growth transformations for functions on manifolds
-
L.E. Baum, and G.R. Sell Growth transformations for functions on manifolds Pacific J. Math. 27 2 1968 211 227
-
(1968)
Pacific J. Math.
, vol.27
, Issue.2
, pp. 211-227
-
-
Baum, L.E.1
Sell, G.R.2
-
7
-
-
0000468786
-
Lotka-Volterra equation and replicator dynamics: A two-dimensional classification
-
I.M. Bomze Lotka-Volterra equation and replicator dynamics: a two-dimensional classification Biol. Cybernet. 48 1983 201 211
-
(1983)
Biol. Cybernet.
, vol.48
, pp. 201-211
-
-
Bomze, I.M.1
-
8
-
-
0002596390
-
Non-cooperative two-person games in biology: A classification
-
I.M. Bomze Non-cooperative two-person games in biology: a classification Internat. J. Game Theory 15 1986 31 57
-
(1986)
Internat. J. Game Theory
, vol.15
, pp. 31-57
-
-
Bomze, I.M.1
-
9
-
-
0000119987
-
Lotka-Volterra equation and replicator dynamics: New issues in classification
-
I.M. Bomze Lotka-Volterra equation and replicator dynamics: new issues in classification Biol. Cybernet. 72 1995 447 453
-
(1995)
Biol. Cybernet.
, vol.72
, pp. 447-453
-
-
Bomze, I.M.1
-
10
-
-
0000095120
-
Evolution towards the Maximum Clique
-
I.M. Bomze Evolution towards the maximum clique J. Global Optim. 10 1997 143 164 (Pubitemid 127502309)
-
(1997)
Journal of Global Optimization
, vol.10
, Issue.2
, pp. 143-164
-
-
Bomze, I.M.1
-
11
-
-
0002590155
-
The maximum clique problem
-
D.Z. Du, P.M. Pardalos, Kluwer Dordrecht
-
I.M. Bomze, M. Budinich, P.M. Pardalos, and M. Pelillo The maximum clique problem D.Z. Du, P.M. Pardalos, Handbook of Combinatorial Optimization (suppl. Vol. A) 1999 Kluwer Dordrecht 1 74
-
(1999)
Handbook of Combinatorial Optimization (Suppl. Vol. A)
, pp. 1-74
-
-
Bomze, I.M.1
Budinich, M.2
Pardalos, P.M.3
Pelillo, M.4
-
12
-
-
0002450116
-
Evolutionary approach to the maximum clique problem: Empirical evidence on a larger scale
-
I.M. Bomze, T. Csendes, R. Horst, P.M. Pardalos, Kluwer Dordrecht
-
I.M. Bomze, M. Pelillo, and R. Giacomini Evolutionary approach to the maximum clique problem: Empirical evidence on a larger scale I.M. Bomze, T. Csendes, R. Horst, P.M. Pardalos, Developments in Global Optimization 1997 Kluwer Dordrecht 95 108
-
(1997)
Developments in Global Optimization
, pp. 95-108
-
-
Bomze, I.M.1
Pelillo, M.2
Giacomini, R.3
-
13
-
-
0041357831
-
Replicator dynamics for evolution towards the maximum clique: Variations and experiments
-
R. De Leone, A. Murli, P.M. Pardalos, G. Toraldo, Kluwer Dordrecht
-
I.M. Bomze, and F. Rendl Replicator dynamics for evolution towards the maximum clique: variations and experiments R. De Leone, A. Murli, P.M. Pardalos, G. Toraldo, High Performance Algorithms and Software in Nonlinear Optimization 1998 Kluwer Dordrecht 53 68
-
(1998)
High Performance Algorithms and Software in Nonlinear Optimization
, pp. 53-68
-
-
Bomze, I.M.1
Rendl, F.2
-
14
-
-
0033425590
-
Genetic engineering via negative fitness: Evolutionary dynamics for global optimization
-
I.M. Bomze, and V. Stix Genetic engineering via negative fitness: evolutionary dynamics for global optimization Ann. Oper. Res. 89 1999 297 318
-
(1999)
Ann. Oper. Res.
, vol.89
, pp. 297-318
-
-
Bomze, I.M.1
Stix, V.2
-
15
-
-
84867994643
-
Bounds on the maximum clique of a graph
-
to appear
-
M. Budinich, Bounds on the maximum clique of a graph, Disc. Appl. Math., to appear.
-
Disc. Appl. Math.
-
-
Budinich, M.1
-
17
-
-
0026385082
-
Approximating clique is almost NP-complete
-
San Juan, Puerto Rico
-
U. Feige, S. Goldwasser, L. Lovász, S. Safra, M. Szegedy, Approximating clique is almost NP-complete, Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1991, pp. 2-12.
-
(1991)
Proceedings of the 32nd Annual Symposium on Foundations of Computer Science
, pp. 2-12
-
-
U. Feige1
-
18
-
-
0030100766
-
Interactive proofs and the hardness of approximating clique
-
U. Feige, S. Goldwasser, L. Lovász, S. Safra, and M. Szegedy Interactive proofs and the hardness of approximating clique J. ACM 43 2 1996 268 292
-
(1996)
J. ACM
, vol.43
, Issue.2
, pp. 268-292
-
-
Feige, U.1
Goldwasser, S.2
Lovász, L.3
Safra, S.4
Szegedy, M.5
-
20
-
-
0001300064
-
Polyhedral combinatorics and neural networks
-
A.H. Gee, and R.W. Prager Polyhedral combinatorics and neural networks Neural Comput. 6 1994 161 180
-
(1994)
Neural Comput.
, vol.6
, pp. 161-180
-
-
Gee, A.H.1
Prager, R.W.2
-
21
-
-
0000489013
-
A continuous based heuristic for the maximum clique problem
-
D.S. Johnson, M. Trick, American Mathematical Society Providence, RI
-
L.E. Gibbons, D.W. Hearn, and P.M. Pardalos A continuous based heuristic for the maximum clique problem D.S. Johnson, M. Trick, Cliques, Coloring, and Satisfiability - Second DIMACS Implementation Challenge 1996 American Mathematical Society Providence, RI 103 124
-
(1996)
Cliques, Coloring, and Satisfiability - Second DIMACS Implementation Challenge
, pp. 103-124
-
-
Gibbons, L.E.1
Hearn, D.W.2
Pardalos, P.M.3
-
22
-
-
0000966995
-
Continuous characterizations of the maximum clique problem
-
L.E. Gibbons, D.W. Hearn, P.M. Pardalos, and M.V. Ramana Continuous characterizations of the maximum clique problem Math. Oper. Res. 22 3 1997 754 768 (Pubitemid 127653360)
-
(1997)
Mathematics of Operations Research
, vol.22
, Issue.3
, pp. 754-768
-
-
Gibbons, L.E.1
Hearn, D.W.2
Pardalos, P.M.3
Ramana, M.V.4
-
25
-
-
0011620023
-
Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge
-
American Mathematical Society, Providence, RI
-
D.S. Johnson, M.A. Trick (Eds.), Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 26, American Mathematical Society, Providence, RI, 1996 (see also http://dimacs.rutgers.edu/Volumes/Vol26.html).
-
(1996)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
, vol.26
-
-
Johnson, D.S.1
Trick, M.A.2
-
26
-
-
84968495731
-
Mathematical models, problems and controversies of evolutionary theory
-
S. Karlin Mathematical models, problems and controversies of evolutionary theory Bull. Amer. Math. Soc. 10 1984 221 273
-
(1984)
Bull. Amer. Math. Soc.
, vol.10
, pp. 221-273
-
-
Karlin, S.1
-
27
-
-
0001748889
-
The stable, center-stable, center, center-unstable, unstable manifolds
-
A. Kelley The stable, center-stable, center, center-unstable, unstable manifolds J. Differential Equations 3 1967 546 570
-
(1967)
J. Differential Equations
, vol.3
, pp. 546-570
-
-
Kelley, A.1
-
28
-
-
0001210377
-
Stability of the center-stable manifold
-
A. Kelley Stability of the center-stable manifold J. Math. Anal. Appl. 18 1967 336 344
-
(1967)
J. Math. Anal. Appl.
, vol.18
, pp. 336-344
-
-
Kelley, A.1
-
29
-
-
84966172880
-
On the change of population fitness by natural selection
-
M. Kimura On the change of population fitness by natural selection Heredity 12 1958 145 167
-
(1958)
Heredity
, vol.12
, pp. 145-167
-
-
Kimura, M.1
-
30
-
-
26444479778
-
Optimization by simulated annealing
-
S. Kirkpatrick, C.D. Gelatt Jr., and M.P. Vecchi Optimization by simulated annealing Science 220 4598 1983 671 679
-
(1983)
Science
, vol.220
, Issue.4598
, pp. 671-679
-
-
Kirkpatrick, S.1
Gelatt, Jr.C.D.2
Vecchi, M.P.3
-
31
-
-
0020734214
-
An introduction to the application of the theory of probabilistic functions of a Markov process to automatic speech recognition
-
S.E. Levinson, L.R. Rabiner, and M.M. Sondhi An introduction to the application of the theory of probabilistic functions of a Markov process to automatic speech recognition Bell System Tech. J. 62 1983 1035 1074
-
(1983)
Bell System Tech. J.
, vol.62
, pp. 1035-1074
-
-
Levinson, S.E.1
Rabiner, L.R.2
Sondhi, M.M.3
-
33
-
-
0000230999
-
Maxima for graphs and a new proof of a theorem of Turán
-
T.S. Motzkin, and E.G. Straus Maxima for graphs and a new proof of a theorem of Turán Canad. J. Math. 17 1965 533 540
-
(1965)
Canad. J. Math.
, vol.17
, pp. 533-540
-
-
Motzkin, T.S.1
Straus, E.G.2
-
35
-
-
9744260535
-
Continuous approaches to discrete optimization problems
-
G. Di Pillo, F. Giannessi, Plenum Press New York
-
P.M. Pardalos Continuous approaches to discrete optimization problems G. Di Pillo, F. Giannessi, Nonlinear Optimization and Applications 1996 Plenum Press New York 313 328
-
(1996)
Nonlinear Optimization and Applications
, pp. 313-328
-
-
Pardalos, P.M.1
-
36
-
-
0000110396
-
A global optimization approach for solving the maximum clique problem
-
P.M. Pardalos, and A.T. Phillips A global optimization approach for solving the maximum clique problem Internat. J. Computer Math. 33 1990 209 216
-
(1990)
Internat. J. Computer Math.
, vol.33
, pp. 209-216
-
-
Pardalos, P.M.1
Phillips, A.T.2
-
37
-
-
0029462615
-
Relaxation labeling networks for the maximum clique problem
-
M. Pelillo Relaxation labeling networks for the maximum clique problem J. Artificial Neural Networks 2 1995 313 328
-
(1995)
J. Artificial Neural Networks
, vol.2
, pp. 313-328
-
-
Pelillo, M.1
-
38
-
-
0031246228
-
The Dynamics of Nonlinear Relaxation Labeling Processes
-
M. Pelillo The dynamics of nonlinear relaxation labeling processes J. Math. Imaging Vision 7 4 1997 309 323 (Pubitemid 127507091)
-
(1997)
Journal of Mathematical Imaging and Vision
, vol.7
, Issue.4
, pp. 309-323
-
-
Pelillo, M.1
-
39
-
-
0029462617
-
Feasible and infeasible maxima in a quadratic program for maximum clique
-
M. Pelillo, and A. Jagota Feasible and infeasible maxima in a quadratic program for maximum clique J. Artificial Neural Networks 2 1995 411 419
-
(1995)
J. Artificial Neural Networks
, vol.2
, pp. 411-419
-
-
Pelillo, M.1
Jagota, A.2
-
40
-
-
0017819644
-
Evolutionarily stable strategies and game dynamics
-
DOI 10.1016/0025-5564(78)90077-9
-
P. Taylor, and L. Jonker Evolutionarily stable strategies and game dynamics Math. Biosci. 40 1978 145 156 (Pubitemid 8403401)
-
(1978)
Mathematical Biosciences
, vol.40
, Issue.1-2
, pp. 145-156
-
-
Taylor, P.D.1
Jonker, L.B.2
-
41
-
-
0034325443
-
Continuous-time relaxation labeling processes
-
A. Torsello, and M. Pelillo Continuous-time relaxation labeling processes Pattern Recognition 33 2000 1897 1908
-
(2000)
Pattern Recognition
, vol.33
, pp. 1897-1908
-
-
Torsello, A.1
Pelillo, M.2
|