Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme H. -D. Ehrich OriginalPaper Pages: 299 - 310
A branch-and-bound algorithm to obtain an optimal evaluation tree for monotonic Boolean functions Yu. BreitbartA. Reiter OriginalPaper Pages: 311 - 319