-
1
-
-
0022808049
-
Finding a maximum clique in an arbitary graph
-
Balus, E., & Yu, C. (1986). Finding a maximum clique in an arbitary graph. SIAM Journal of Computing, 75(4), 1054-1068.
-
(1986)
SIAM Journal of Computing
, vol.75
, Issue.4
, pp. 1054-1068
-
-
Balus, E.1
Yu, C.2
-
2
-
-
0141668007
-
Reactive local search for the maximum clique problem
-
Battiti, R., & Protasi, M. (2001). Reactive local search for the maximum clique problem. Algorithmica, 29, 610-637.
-
(2001)
Algorithmica
, vol.29
, pp. 610-637
-
-
Battiti, R.1
Protasi, M.2
-
3
-
-
0001657534
-
The reactive tabu search
-
Battiti, R., & Tecchiolli, G. (1994). The reactive tabu search. ORSA Journal on Computing, 6(2), 126-140.
-
(1994)
ORSA Journal on Computing
, vol.6
, Issue.2
, pp. 126-140
-
-
Battiti, R.1
Tecchiolli, G.2
-
4
-
-
0002590155
-
The maximum clique problem
-
D.Z. Du, P. P. (Ed.)
-
Bomze, I., Budinich, M., Pardalos, P., & Pelillo, M. (1999). The maximum clique problem. In D.Z. Du, P. P. (Ed.), Handbook of Combinatorial Optimization, Vol. A, pp. 1-74.
-
(1999)
Handbook of Combinatorial Optimization
, vol.A
, pp. 1-74
-
-
Bomze, I.1
Budinich, M.2
Pardalos, P.3
Pelillo, M.4
-
5
-
-
0001159084
-
Approximating maximum independent sets by excluding subgraphs
-
Boppana, R., & Halldórsson, M. (1992). Approximating maximum independent sets by excluding subgraphs. Bit, 32, 180-196.
-
(1992)
Bit
, vol.32
, pp. 180-196
-
-
Boppana, R.1
Halldórsson, M.2
-
6
-
-
0011628892
-
Camouflaging independent sets in quasi-random graphs
-
D.S. Johnson, M. T. (Ed.), Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge. American Mathematical Society
-
Brockington, M., & Culberson, J. (1996). Camouflaging independent sets in quasi-random graphs. In D.S. Johnson, M. T. (Ed.), Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, Vol. 26 of DIMACS Series. American Mathematical Society.
-
(1996)
DIMACS Series
, vol.26
-
-
Brockington, M.1
Culberson, J.2
-
7
-
-
33744456799
-
A new trust region technique for the maximum clique problem
-
Busygin, S. (2002). A new trust region technique for the maximum clique problem. Internal report, http://www.busygin.dp.ua.
-
(2002)
Internal Report
-
-
Busygin, S.1
-
8
-
-
0003603813
-
-
Freeman, San Francisco, CA, USA
-
Garey, M. R., & Johnson, D. S. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, San Francisco, CA, USA.
-
(1979)
Computers and Intractability: A Guide to the Theory of NP-completeness
-
-
Garey, M.R.1
Johnson, D.S.2
-
9
-
-
3543127753
-
Combining swaps and node weights in an adaptive greedy approach for the maximum clique problem
-
Grosso, A., Locatelli, M., & Croce, F. D. (2004). Combining swaps and node weights in an adaptive greedy approach for the maximum clique problem. Journal of Heuristics, 10, 135-152.
-
(2004)
Journal of Heuristics
, vol.10
, pp. 135-152
-
-
Grosso, A.1
Locatelli, M.2
Croce, F.D.3
-
11
-
-
0036926361
-
An adaptive noise mechanism for WalkSAT
-
AAAI Press / The MIT Press, Menlo Park, CA, USA
-
Hoos, H. H. (2002). An adaptive noise mechanism for WalkSAT. In Proceedings of the Eighteenth National Conference on Artificial Intelligence, pp. 655-660. AAAI Press / The MIT Press, Menlo Park, CA, USA.
-
(2002)
Proceedings of the Eighteenth National Conference on Artificial Intelligence
, pp. 655-660
-
-
Hoos, H.H.1
-
13
-
-
33744455230
-
Local search algorithms for SAT: An empirical evaluation
-
Gent, I., v.Maaren, H., & Walsh, T. (Eds.). IOS Press
-
Hoos, H., & Stützle, T. (2000). Local search algorithms for SAT: An empirical evaluation. In Gent, I., v.Maaren, H., & Walsh, T. (Eds.), SAT 2000, pp. 43-86. IOS Press.
-
(2000)
SAT 2000
, pp. 43-86
-
-
Hoos, H.1
Stützle, T.2
-
14
-
-
84957015736
-
Scaling and probabilistic smoothing: Efficient dynamic local search for SAT
-
Hentenryck, P. V. (Ed.), Principles and Practice of Constraint Programming - CP 2002. Springer Verlag, Berlin, Germany
-
Hutter, F., Tompkins, D. A. D., & Hoos, H. H. (2002). Scaling and probabilistic smoothing: Efficient dynamic local search for SAT. In Hentenryck, P. V. (Ed.), Principles and Practice of Constraint Programming - CP 2002, Vol. 2470 of Lecture Notes in Computer Science, pp. 233-248. Springer Verlag, Berlin, Germany.
-
(2002)
Lecture Notes in Computer Science
, vol.2470
, pp. 233-248
-
-
Hutter, F.1
Tompkins, D.A.D.2
Hoos, H.H.3
-
15
-
-
3543051100
-
A graph theoretical approach for predicting common RNA secondary structure motifs including pseudoknots in unaligned sequences
-
Ji, Y., Xu, X., & Stormo, G. D. (2004). A graph theoretical approach for predicting common RNA secondary structure motifs including pseudoknots in unaligned sequences. Bioinformatics, 20(10), 1591-1602.
-
(2004)
Bioinformatics
, vol.20
, Issue.10
, pp. 1591-1602
-
-
Ji, Y.1
Xu, X.2
Stormo, G.D.3
-
16
-
-
33744497331
-
-
Johnson, D., & Trick, M. (Eds.). Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge. American Mathematical Society
-
Johnson, D., & Trick, M. (Eds.). (1996). Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, Vol. 26 of DIMACS Series. American Mathematical Society.
-
(1996)
DIMACS Series
, vol.26
-
-
-
17
-
-
2442615182
-
Solving the maximum clique problem by k-opt local search
-
Katayama, K., Hamamoto, A., &: Narihisa, H. (2004). Solving the maximum clique problem by k-opt local search. In Proceedings of the 2004 ACM Symposium on Applied computing, pp. 1021-1025.
-
(2004)
Proceedings of the 2004 ACM Symposium on Applied Computing
, pp. 1021-1025
-
-
Katayama, K.1
Hamamoto, A.2
Narihisa, H.3
-
18
-
-
84878638538
-
Genetic, iterated and multistart local search for the maximum clique problem
-
Applications of Evolutionary Computing. Springer Verlag, Berlin, Germany
-
Marchiori, E. (2002). Genetic, iterated and multistart local search for the maximum clique problem. In Applications of Evolutionary Computing, Vol. 2279 of Lecture Notes in Computer Science, pp. 112-121. Springer Verlag, Berlin, Germany.
-
(2002)
Lecture Notes in Computer Science
, vol.2279
, pp. 112-121
-
-
Marchiori, E.1
-
20
-
-
7444239278
-
Resolvent clause weighting local search
-
Tawfik, A. Y., & Goodwin, S. D. (Eds.), Advances in Artificial Intelligence, 17th Conference of the Canadian Society for Computational Studies of Intelligence. Springer Verlag, Berlin, Germany
-
Pullan, W., & Zhao, L. (2004). Resolvent clause weighting local search. In Tawfik, A. Y., & Goodwin, S. D. (Eds.), Advances in Artificial Intelligence, 17th Conference of the Canadian Society for Computational Studies of Intelligence, Vol. 3060 of Lecture Notes in Computer Science, pp. 233-247. Springer Verlag, Berlin, Germany.
-
(2004)
Lecture Notes in Computer Science
, vol.3060
, pp. 233-247
-
-
Pullan, W.1
Zhao, L.2
-
21
-
-
0032266182
-
Algorithm 786: FORTRAN subroutine for approximate solution of the maximum independent set problem using GRASP
-
Resende, M., Feo, T., & Smith, S. (1998). Algorithm 786: FORTRAN subroutine for approximate solution of the maximum independent set problem using GRASP. ACM Transactions on Mathematical Software, 24, 386-394.
-
(1998)
ACM Transactions on Mathematical Software
, vol.24
, pp. 386-394
-
-
Resende, M.1
Feo, T.2
Smith, S.3
-
22
-
-
0001183866
-
Local search characteristics of incomplete SAT procedures
-
AAAI Press / The MIT Press, Menlo Park, CA, USA
-
Schuurmans, D., & Southey, F. (2000). Local search characteristics of incomplete SAT procedures. In Proceedings of the Seventeenth National Conference on Artificial Intelligence, pp. 297-302. AAAI Press / The MIT Press, Menlo Park, CA, USA.
-
(2000)
Proceedings of the Seventeenth National Conference on Artificial Intelligence
, pp. 297-302
-
-
Schuurmans, D.1
Southey, F.2
-
23
-
-
33744461340
-
A study of aco capabilities for solving the maximum clique problem
-
to appear
-
Solnon, C., & Fenet, S. (2004). A study of aco capabilities for solving the maximum clique problem. Journal of Heuristics, to appear.
-
(2004)
Journal of Heuristics
-
-
Solnon, C.1
Fenet, S.2
-
24
-
-
9444249836
-
Additive versus multiplicative clause weighting for SAT
-
AAAI Press / The MIT Press, Menlo Park, CA, USA
-
Thornton, J., Pham, D. N., Bain, S., & Ferreira, V. (2004). Additive versus multiplicative clause weighting for SAT. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), pp. 191-196. AAAI Press / The MIT Press, Menlo Park, CA, USA.
-
(2004)
Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04)
, pp. 191-196
-
-
Thornton, J.1
Pham, D.N.2
Bain, S.3
Ferreira, V.4
-
25
-
-
7044221948
-
Scaling and probabilistic smoothing: Dynamic local search for unweighted MAX-SAT
-
Xiang, Y., & Chaib-draa, B. (Eds.), Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence. Springer Verlag, Berlin, Germany
-
Tompkins, D., & Hoos, H. (2003). Scaling and probabilistic smoothing: Dynamic local search for unweighted MAX-SAT. In Xiang, Y., & Chaib-draa, B. (Eds.), Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, Vol. 2671 of Lecture Notes in Computer Science, pp. 145-159. Springer Verlag, Berlin, Germany.
-
(2003)
Lecture Notes in Computer Science
, vol.2671
, pp. 145-159
-
-
Tompkins, D.1
Hoos, H.2
-
26
-
-
31144450958
-
Linking search space structure, run-time dynamics, and problem difficulty: A step toward demystifying tabu search
-
Watson, J., Whitley, L., & Howe, A. (2005). Linking search space structure, run-time dynamics, and problem difficulty: A step toward demystifying tabu search. Journal of Artificial Intelligence, 24, 221-261.
-
(2005)
Journal of Artificial Intelligence
, vol.24
, pp. 221-261
-
-
Watson, J.1
Whitley, L.2
Howe, A.3
|