@书籍{zbMATH01460608，作者={Wegener，Ingo}，标题={分支程序和二进制决策图。{理论}和应用}，F系列={SIAM离散数学与应用专著}，系列={SIAM Monogr.离散数学应用}，体积={4}，ISBN＝{0-89871-458-3；978-0-89871-978-9}，年份＝{2000}，出版商={费城，宾夕法尼亚州：SIAM}，语言={英语}，DOI={10.1137/1.9780898719789}，关键词={68Q25,68-01}，zbMATH={1460608}，Zbl=｛0956.68068｝}