Title: Comparison of the implicit enumeration method and the branch-and-bound method for logical design
Subjects: Branch and bound algorithms, Logic design, Integer programming