000 00478nam a2200169 4500
008 160616s2000 000 0
245 _aBranching programs and binary decision diagrams
_btheory and applications
100 _aWegener, Ingo
260 _aPhiladelphia
260 _bSIAM
260 _c2000
300 _a408
440 _aSIAM monographs on discrete mathematics and applications
020 _a9780898714586
942 _cBK
_2BK23253
_01
080 _a681.3 WEG
999 _c23253
_d23253