TY - BOOK AU - Wegener, Ingo TI - Branching programs and binary decision diagrams : theory and applications SN - 9780898714586 SN - 35749 U1 - 519.234 WEG PY - 2000/// CY - Philadelphia PB - Society for Industrial and Applied Mathematics KW - Branching processes KW - Computational complexity KW - Decision making - Mathematical models N1 - Includes bibliographical references (p. 379-402) and index ER -