Title: A branch-and-bound algorithm for optimal AND-OR networks (the algorithm description)
Subjects: Branch and bound algorithms, Switching theory