Björklund, Henrik Programming Logics, MPI for Informatics, Max Planck Society;
Vorobyov, Sergei Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-2001-02-003.pdf (Any fulltext), 17MB
Björklund, H., Petersson, V., & Vorobyov, S.(2001). Experiments with iterative improvement algorithms on completely unimodel hypercubes (MPI-I-2001-2-003). Saarbrücken: Max-Planck-Institut für Informatik.