Advanced BDD Optimization
Edition: 1 edition
Publisher: Springer
Published: August 23, 2005
Language: eng
Format: Hardcover
Number of pages: 222
ISBN-13: 9780387254531
Subjects: Circuits & components; Electrical engineering; Mechanical engineering; Technology; Technology & Industrial Arts; Science/Mathematics; Electronics - Circuits - General; Engineering - Electrical & Electronic; Engineering - Mechanical; AI (Artificial Intelligence); SAT (Boolean Satisfiability); Technology / Electronics / Circuits / General; VLSI CAD (Computer Aided Design of Very Large Scale Integrated circuits and systems); Decision making; Decision trees; Logic design; Mathematical models; Mathematics