Search: Haupt, Reiner, partitioning