Title: A branch-and-bound algorithm for optimal evaluation of monotonic Boolean functions
Subjects: Boolean Algebra, Branch and bound algorithms, Monotonic functions