2005 conf/coco/2005 IEEE Conference on Computational Complexity http://dx.doi.org/10.1109/CCC.2005.23 db/conf/coco/coco2005.html#X05