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