Title: Efficient branch and bound search with application to computer-aided design
First published: 1996
Subjects: Branch and bound algorithms, Computer-aided design, Digital integrated circuits
LC classification: TK7874.65 .C54 1996