-
1
-
-
84968014854
-
Probabilistic Checking of Proofs: A New Characterization of NP
-
IEEE Computer Society Press, Los Alamitos, CA
-
S. ARORA and S. SAFRA, 1992. Probabilistic Checking of Proofs: A New Characterization of NP, in Proceedings of the 33rd IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 2-13.
-
(1992)
Proceedings of the 33rd IEEE Symposium on Foundations of Computer Science
, pp. 2-13
-
-
Arora, S.1
Safra, S.2
-
2
-
-
0025904136
-
Finding Maximum Cliques in Arbitrary and in Special Graphs
-
L. BABEL, 1991. Finding Maximum Cliques in Arbitrary and in Special Graphs, Computing 46, 321-341.
-
(1991)
Computing
, vol.46
, pp. 321-341
-
-
Babel, L.1
-
4
-
-
0022808049
-
Finding a Maximum Clique in an Arbitrary Graph
-
E. BALAS and C.S. YU, 1986. Finding a Maximum Clique in an Arbitrary Graph, SIAM Journal on Computing 15:4, 1054-1068.
-
(1986)
SIAM Journal on Computing
, vol.15
, Issue.4
, pp. 1054-1068
-
-
Balas, E.1
Yu, C.S.2
-
5
-
-
35248883114
-
An Exact Quadratic 0-1 Algorithm for the Stable Set Problem
-
D.S. Johnson and M.A. Trick (eds.), American Mathematical Society, Providence, RI
-
J.M. BOURJOLLY, P. GILL, G. LAPORTE, and H. MERCURE, 1996. An Exact Quadratic 0-1 Algorithm for the Stable Set Problem, in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 26: Cliques, Coloring, and Satisfiability, D.S. Johnson and M.A. Trick (eds.), American Mathematical Society, Providence, RI, 53-73.
-
(1996)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 26: Cliques, Coloring, and Satisfiability
, vol.26
, pp. 53-73
-
-
Bourjolly, J.M.1
Gill, P.2
Laporte, G.3
Mercure, H.4
-
6
-
-
38249024857
-
König-Egerváry Graphs, 2-Bicritical Graphs and Fractional Matchings
-
J.-M. BOURJOLLY and W.R. PULLEYBLANK, 1989. König-Egerváry Graphs, 2-Bicritical Graphs and Fractional Matchings, Discrete Applied Mathematics 24, 63-82.
-
(1989)
Discrete Applied Mathematics
, vol.24
, pp. 63-82
-
-
Bourjolly, J.-M.1
Pulleyblank, W.R.2
-
7
-
-
0018456690
-
New Methods to Color the Vertices of a Graph
-
D. BRÉLAZ, 1979. New Methods to Color the Vertices of a Graph, Communications of the ACM 22, 251-256.
-
(1979)
Communications of the ACM
, vol.22
, pp. 251-256
-
-
Brélaz, D.1
-
8
-
-
0011628892
-
Camouflaging Independent Sets in Quasi-Random Graphs
-
D.S. Johnson and M.A. Trick (eds.), American Mathematical Society, Providence, RI
-
M. BROCKINGTON and J.C. CULBERSON, 1996. Camouflaging Independent Sets in Quasi-Random Graphs, in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 26: Cliques, Coloring, and Satisfiability, D.S. Johnson and M.A. Trick (eds.), American Mathematical Society, Providence, RI, 75-88.
-
(1996)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 26: Cliques, Coloring, and Satisfiability
, vol.26
, pp. 75-88
-
-
Brockington, M.1
Culberson, J.C.2
-
10
-
-
0042274163
-
Independence Numbers of Graphs - An Extension of the König-Egerváry Theorem
-
R.W. DEMING, 1979. Independence Numbers of Graphs - An Extension of the König-Egerváry Theorem, Discrete Mathematics 27, 23-33.
-
(1979)
Discrete Mathematics
, vol.27
, pp. 23-33
-
-
Deming, R.W.1
-
11
-
-
0026385082
-
Approximating Clique is Almost NP-Complete
-
IEEE Computer Society Press, Los Alamitos, CA
-
U. FEIGE, S. GOLDWASSER, L. LOVÁSZ, S. SAFRA, and M. SZEGEDY, 1991. Approximating Clique is Almost NP-Complete, in Proceedings of the 32rd IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 2-12.
-
(1991)
Proceedings of the 32rd IEEE Symposium on Foundations of Computer Science
, pp. 2-12
-
-
Feige, U.1
Goldwasser, S.2
Lovász, L.3
Safra, S.4
Szegedy, M.5
-
12
-
-
0001931981
-
STABULUS: A Technique for Finding Stable Sets in Large Graphs with Tabu Search
-
C. FRIDEN, A. HERTZ, and D. DE WERRA, 1989. STABULUS: A Technique for Finding Stable Sets in Large Graphs with Tabu Search, Computing 42, 35-44.
-
(1989)
Computing
, vol.42
, pp. 35-44
-
-
Friden, C.1
Hertz, A.2
De Werra, D.3
-
13
-
-
0025541550
-
TABARIS: An Exact Algorithm Based on Tabu Search for Finding a Maximum Independent Set in a Graph
-
C. FRIDEN, A. HERTZ, and D. DE WERRA, 1990. TABARIS: An Exact Algorithm Based on Tabu Search for Finding a Maximum Independent Set in a Graph, Computers and Operations Research 17:5, 437-445.
-
(1990)
Computers and Operations Research
, vol.17
, Issue.5
, pp. 437-445
-
-
Friden, C.1
Hertz, A.2
De Werra, D.3
-
14
-
-
0002296888
-
Two Computationally Difficult Set Covering Problems that Arise in Computing the 1-Width of Incidence Matrices of Steiner Triple Systems
-
D.R. FULKERSON, G.L. NEMHAUSER, and L.E. TROTTER, JR., 1974. Two Computationally Difficult Set Covering Problems that Arise in Computing the 1-Width of Incidence Matrices of Steiner Triple Systems, Mathematical Programming Study 2, 72-81.
-
(1974)
Mathematical Programming Study
, vol.2
, pp. 72-81
-
-
Fulkerson, D.R.1
Nemhauser, G.L.2
Trotter Jr., L.E.3
-
16
-
-
21144478761
-
Solving the Maximum Clique Problem using a Tabu Search Approach
-
M. GENDREAU, P. SORIANO, and L. SALVAIL, 1993. Solving the Maximum Clique Problem using a Tabu Search Approach, Annals of Operations Research 41, 385-403.
-
(1993)
Annals of Operations Research
, vol.41
, pp. 385-403
-
-
Gendreau, M.1
Soriano, P.2
Salvail, L.3
-
18
-
-
0012173766
-
Vertices Belonging to All or to No Maximum Stable Sets of a Graph
-
P.L. HAMMER, P. HANSEN, and B. SIMEONE, 1982. Vertices Belonging to All or to No Maximum Stable Sets of a Graph, SIAM Journal on Algebraic and Discrete Methods 3:4, 511-522.
-
(1982)
SIAM Journal on Algebraic and Discrete Methods
, vol.3
, Issue.4
, pp. 511-522
-
-
Hammer, P.L.1
Hansen, P.2
Simeone, B.3
-
19
-
-
0001047763
-
Optimization by Simulated Annealing: An Experimental Evaluation. Part II, Graph Coloring and Number Partitioning
-
D.S. JOHNSON, C.R. ARAGON, L.A. MCGEOCH, and C. SCHEVON, 1991. Optimization by Simulated Annealing: An Experimental Evaluation. Part II, Graph Coloring and Number Partitioning, Operations Research 39:3, 378-406.
-
(1991)
Operations Research
, vol.39
, Issue.3
, pp. 378-406
-
-
Johnson, D.S.1
Aragon, C.R.2
Mcgeoch, L.A.3
Schevon, C.4
-
22
-
-
0016028005
-
Properties of Vertex Packing and Independence System Polyhedra
-
G.L. NEMHAUSER and L.E. TROTTER, JR., 1974. Properties of Vertex Packing and Independence System Polyhedra, Mathematical Programming 6, 48-61.
-
(1974)
Mathematical Programming
, vol.6
, pp. 48-61
-
-
Nemhauser, G.L.1
Trotter Jr., L.E.2
-
23
-
-
34250404286
-
Vertex Packings: Structural Properties and Algorithms
-
G.L. NEMHAUSER and L.E. TROTTER, JR., 1975. Vertex Packings: Structural Properties and Algorithms, Mathematical Programming 8, 232-248.
-
(1975)
Mathematical Programming
, vol.8
, pp. 232-248
-
-
Nemhauser, G.L.1
Trotter Jr., L.E.2
-
24
-
-
34250429350
-
On the Facial Structure of Set Packing Polyhedra
-
M.W. PADBERG, 1973. On the Facial Structure of Set Packing Polyhedra, Mathematical Programming 5, 199-215.
-
(1973)
Mathematical Programming
, vol.5
, pp. 199-215
-
-
Padberg, M.W.1
-
25
-
-
0026897860
-
A Branch and Bound Algorithm for the Maximum Clique Problem, Computers and
-
P.M. PARDALOS and G.P. RODGERS, 1992. A Branch and Bound Algorithm for the Maximum Clique Problem, Computers and Operations Research 19, 363-375.
-
(1992)
Operations Research
, vol.19
, pp. 363-375
-
-
Pardalos, P.M.1
Rodgers, G.P.2
-
26
-
-
4944225757
-
Some Experimental and Theoretical Results on Test Case Generators for the Maximum Clique Problem
-
L.A. SANCHIS and A. JAGOTA, 1996. Some Experimental and Theoretical Results on Test Case Generators for the Maximum Clique Problem, INFORMS Journal on Computing 8:2, 87-102.
-
(1996)
INFORMS Journal on Computing
, vol.8
, Issue.2
, pp. 87-102
-
-
Sanchis, L.A.1
Jagota, A.2
-
27
-
-
20944443623
-
A Characterization of the Graphs in Which the Transversal Number Equals the Matching Number
-
F. STERBOUL, 1979. A Characterization of the Graphs in Which the Transversal Number Equals the Matching Number, Journal of Combinatorial Theory, Series B 27, 228-229.
-
(1979)
Journal of Combinatorial Theory, Series B
, vol.27
, pp. 228-229
-
-
Sterboul, F.1
-
28
-
-
0002076006
-
An Upper Bound for the Chromatic Number of a Graph and Its Application to Timetabling Problem
-
D.J.A. WELSH and M.B. POWELL, 1967. An Upper Bound for the Chromatic Number of a Graph and Its Application to Timetabling Problem, The Computer Journal 10, 85-86.
-
(1967)
The Computer Journal
, vol.10
, pp. 85-86
-
-
Welsh, D.J.A.1
Powell, M.B.2
|