A branch-and-bound algorithm to obtain an optimal evaluation tree for monotonic Boolean functions
scientific article; zbMATH DE number 3510260