| |
Efficient branch and bound search with application to computer-aided design
Chen X., Bushnell M., Kluwer Academic Publishers, Norwell, MA, 1996. Type: Book (9780792396734)
Chen and Bushnell describe an improved branch-and-bound search method for logic justification, a problem in computer-aided design (CAD). The improvement arises from avoiding duplicate computations (without using search decision trees)....
|
Aug 1 1997 |
