ACOhg: Dealing with huge graphs

Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference

Volumn , Issue , 2007, Pages 10-17

  Alba, Enrique ^a   Chicano, Francisco ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Ant colony optimization; Metaheuristics; SPIN

Indexed keywords

DATA STRUCTURES; GRAPH THEORY; PARAMETER ESTIMATION; PROBLEM SOLVING; STORAGE ALLOCATION (COMPUTER);

ANT COLONY OPTIMIZATION (ACO); COMPUTER MEMORY; GRAPH NODES; METAHEURISTICS;

COMBINATORIAL OPTIMIZATION;

EID: 34548064957     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1276958.1276961     Document Type: Conference Paper

References (12)

1. E. Alba and J. Troya. Genetic algorithms for protocol validation. In Proc. of the PPSN IV International Conference (LNCS 1141), pages 870-879, Berlin, 1996. Springer.
2. C. Blum and A. Roli. Metaheuristics in combinatorial optimization: Overview and conceptual comparison. ACM Computing Surveys, 35(3):268-308, 2003.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, January 2000.
4. J. Demšar. Statistical comparisons of classifiers over multiple data sets. Journal of Machine Learning Research, 7:1-30, 2006.
5. M. Dorigo and T. Stützle. Ant Colony Optimization. The MIT Press, 2004.
6. S. Edelkamp, A. Lluch-Lafuente, and S. Leue. Protocol verification with heuristic search. In AAAI-Spring Symposium on Model-based Validation Intelligence, pages 75-83, 2001.
7. S. Edelkamp, S. Leue, and A. Lluch-Lafuente. Directed explicit-state model checking in the validation of communication protocols. International Journal of Software Tools for Technology Transfer, 5:247-267, 2004.
8. P. Godefroid and S. Khurshid. Exploring very large state spaces using genetic algorithms. In LNCS, 2280, pages 266-280. Springer, 2002.
9. G. J. Holzmann. The SPIN Model Checker. Addison-Wesley, 2004.
10. G. Leguizamón and Z. Michalewicz. A new version of Ant System for subset problems. In P. A. et al., editor, Proc. of the 1999 Congress on Evolutionary Computation, pages 1459-1464, Piscataway, New Jersey, USA, 1999. IEEE Computer Society Press.
11. A. Lluch-Lafuente. Symmetry reduction and heuristic search for error detection in model checking. In Workshop on Model Checking and Artificial Intelligence, August 2003.
12. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., New York, NY, USA, 1992.