TY - BOOK AU - Wegener, Ingo TI - Branching programs and binary decision diagrams : theory and applications SN - 9780898714586 U1 - 519.234 WEG PY - 2000/// CY - Philadelphia PB - Society for Industrial and Applied Mathematics KW - Branching processes ER -