The Link between r-contiguous Detectors and k-CNF Satisfiability.
Thomas Stibor, Jonathan Timmis, Claudia Eckert
VenueBCEC
Year2006
ProceedingsIEEE Congress on Evolutionary Computation
DBLP recordconf/cec/StiborTE06 ↗
Browse the full CEC paper archive.