School of Computing

The aco encoding

A. Moraglio, F.E.B. Otero, and C.G. Johnson

In M. Dorigo et al., editor, Swarm Intelligence - 7th International Conference (ANTS 2010), Lecture Notes in Computer Science 6234, pages 182-196, September 2010.

Bibtex Record

@inproceedings{3176,
author = {A. Moraglio and F.E.B. Otero and C.G. Johnson},
title = {The ACO Encoding},
month = {September},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2010/3176},
    publication_type = {inproceedings},
    submission_id = {21661_1320058600},
    booktitle = {Swarm Intelligence - 7th International Conference (ANTS 2010)},
    editor = {M. Dorigo et al.},
    series = {Lecture Notes in Computer Science 6234},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014