Easily searched encodings for number partitioning
scientific article; zbMATH DE number 906463