A Branch-and-Bound Algorithm to Obtain an Optimal Evaluation Tree for Monotonic Boolean Functions

Yuri Breitbart, Allen Reiter. A Branch-and-Bound Algorithm to Obtain an Optimal Evaluation Tree for Monotonic Boolean Functions. Acta Informatica, 4:311-319, 1975.

Abstract

Abstract is missing.