Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Hoffmann, J., & Kupferschmid, S. (2005). A Covering Problem for Hypercubes. Poster presented at 19th International Joint Conferences on Artificial Intelligence, Edinburgh, UK.