Search for Author All Reviews
	Chen, Xinghao     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       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
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy