Maria A. Osorio Germn Cuaya Hard Problem Generation for MKP. 290-297 2005 conf/enc/2005 ENC http://doi.ieeecomputersociety.org/10.1109/ENC.2005.22 db/conf/enc/enc2005.html#OsorioC05