The Link between r-contiguous Detectors and k-CNF Satisfiability
The Link between r-contiguous Detectors and k-CNF Satisfiability
Proceedings of the Congress on Evolutionary Computation (CEC-2006)
| Authors: | Thomas Stibor, J. Timmis, and Claudia Eckert |
| Year/month: | 2006/7 |
| Booktitle: | Proceedings of the Congress on Evolutionary Computation (CEC-2006) |
| Address: | Vancouver, Canada |
| Publisher: | IEEE Press |
| Fulltext: | cec2006ce2.pdf |
Abstract |
|
Bibtex:
@inproceedings {author = { Thomas Stibor and J. Timmis and Claudia Eckert},
title = { The Link between r-contiguous Detectors and k-CNF Satisfiability },
year = { 2006 },
month = { July },
booktitle = { Proceedings of the Congress on Evolutionary Computation (CEC-2006) },
address = { Vancouver, Canada },
publisher = { IEEE Press },
url = {https://www.sec.in.tum.de/i20/publications/the-link-between-r-contiguous-detectors-and-k-cnf-satisfiability/@@download/file/cec2006ce2.pdf}
}