@InProceedings{hoffmann:kupferschmid:ijcai-03,
  crossref = "ijcai05",
  author = {J{\"o}rg Hoffmann and Sebastian Kupferschmid},
  title = {A Covering Problem for Hypercubes}
}



@Proceedings{ijcai05,
  Key = "IJCAI-05",
  title = 	"Poster Proceedings of the 19th International Joint Conference on
                   Artificial Intelligence (IJCAI-05)",
  booktitle = 	"Poster Proceedings of the 19th International Joint Conference on
                   Artificial Intelligence (IJCAI-05)",
  year = 	2005,
  editor = 	"L. Kaelbling",
  publisher =	 kauf,
  address = 	"Edinburgh, UK",
  month = 	Aug
}