School of Computing

Constructing x-of-n attributes with a genetic algorithm

O Larsen, AA Freitas, and JC Nievola

In A. Lofti, J. Garibaldi, and R. John, editors, Proc. 4th Int. Conf. on Recent Advances in Soft Computing (RASC-2002), pages 182-196. Nottingham Trent University, December 2002.

Bibtex Record

@inproceedings{1575,
author = {O Larsen and AA Freitas and JC Nievola},
title = {Constructing X-of-N attributes with a genetic algorithm},
month = {December},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1575},
    publication_type = {inproceedings},
    submission_id = {3454_1043508602},
    booktitle = {Proc. 4th Int. Conf. on Recent Advances in Soft Computing (RASC-2002)},
    publisher = {Nottingham Trent University},
    editor = {A. Lofti and J. Garibaldi and R. John},
}

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

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

Last Updated: 21/03/2014