Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many applications, the classic branch-and-bound search methods perform duplications of computations, or rely on the search decision trees which keep track of the branch-and-bound search processes. In CAD and many other technical fields, the computational cost of constructing branch-and-bound search decision trees in solving large scale problems is prohibitive and duplications of computations are intolerable. Efficient branch-and-bound methods are needed to deal with today's computational challenges. Efficient branch-and-bound methods must not duplicate computations. Efficient Branch and Bound Search with Application to Computer-Aided Design describes an efficient branch-and-bound method for logic justification, which is fundamental to automatic test pattern generation (ATPG), redundancy identification, logic synthesis, minimization, verification, and other problems in CAD. The method is called justification equivalence, based on the observation that justification processes may share identical subsequent search decision sequences. With justification equivalence, duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. Efficient Branch and Bound Search with Application to Computer-Aided Design consists of two parts. The first part, containing the first three chapters, provides the theoretical work. The second part deals with applications, particularly ATPG for sequential circuits. This book is particularly useful to readers who are interested in the design and test of digital circuits.
Efficient Branch and Bound Search with Application to Computer-Aided Design
RRP:
$184.00
Description
Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many applications, the classic branch-and-bound search methods perform duplications of computations, or rely on the search decision trees which keep track of the branch-and-bound search processes. In CAD and many other technical fields, the computational cost of constructing branch-and-bound search decision trees in solving large scale problems is prohibitive and duplications of computations are intolerable. Efficient branch-and-bound methods are needed to deal with today's computational challenges. Efficient branch-and-bound methods must not duplicate computations. Efficient Branch and Bound Search with Application to Computer-Aided Design describes an efficient branch-and-bound method for logic justification, which is fundamental to automatic test pattern generation (ATPG), redundancy identification, logic synthesis, minimization, verification, and other problems in CAD. The method is called justification equivalence, based on the observation that justification processes may share identical subsequent search decision sequences. With justification equivalence, duplication of computations is avoided in the dynamic branch-and-bound search process without using search decision trees. Efficient Branch and Bound Search with Application to Computer-Aided Design consists of two parts. The first part, containing the first three chapters, provides the theoretical work. The second part deals with applications, particularly ATPG for sequential circuits. This book is particularly useful to readers who are interested in the design and test of digital circuits.
This book provides clear explanatory text, illustrative mathematics and algorithms, demonstrations of the iterative process, pseudocode, and well-developed examples for applications of the...
The book comprehensively discusses principles, techniques, research activities, applications and case studies of computer-aided design in a single volume. The textbook will serve as ideal study...
Computer-aided design (CAD) plays a key role in improving biomedical systems for various applications. It also helps in the detection, identification, predication, analysis, and classification of...
Combinatorial problems arise in a wide variety of fields, from computer science to operations research to engineering. This book provides an in-depth introduction to the branch and bound method, a...
Dynamic programming is a powerful tool for solving a wide range of optimization problems, from scheduling to resource allocation to network design. This book presents an innovative approach to...
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
Buy Educational Books and Textbooks Online at BookLoop
Shop School Textbooks for Primary, Secondary, and Higher Education
At BookLoop, we make it easy to buy school textbooks online in Australia for every stage of learning. Our extensive
textbook collection includes curriculum-aligned primary school books,
secondary school books, and resources for TAFE courses, vocational training, and university studies.
Each title is selected for accuracy, quality, and alignment with the Australian Curriculum, supporting teachers, students, and schools across the country. Whether you’re preparing for exams, classroom learning, or distance education, BookLoop’s range of educational books ensures your students have the right materials to succeed.
Teacher Resources, Classroom Tools and Professional Learning
Empower your teaching with teacher resources and classroom support materials from BookLoop.
Our collection includes lesson planning guides, literacy and numeracy workbooks, STEM education resources, and assessment tools that help educators deliver engaging, effective learning experiences.
We also stock a wide selection of preschool and early years education books tailored to early childhood development, classroom management, and student wellbeing.
Teachers can access everything from professional development books to interactive classroom activities — all carefully curated to enhance teaching outcomes and student success.
Educational Books and Learning Resources for Every Subject
Find educational books for students across a variety of subjects including English, Mathematics, Science, History, Geography, and the Arts.
BookLoop partners with trusted Australian publishers to provide up-to-date resources that meet classroom requirements and support independent learning.
Whether you’re a school administrator sourcing bulk textbook orders, a parent preparing for the new term, or a teacher updating your classroom library, BookLoop is your one-stop online bookstore for all education and teaching materials.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
