@收款{zbMATH05794797，作者={Mantadelis、Theofrastos和Rocha、Ricardo和Kimmig、Angelika和Janssens、Gerda}，标题={在概率上下文中预处理{BDDs}的{Boolean}公式}，BookTitle={人工智能中的逻辑。2010年9月13-15日，第12届欧洲会议，JELIA 2010，芬兰赫尔辛基。诉讼}，国际标准图书编号={978-3-642-15674-8}，页码={260--272}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-15675-5_23}，关键词={68Q32,68N17，68Q87，68T27}，URL={lirias.kuleuven.be/handle/123456789/270070}，zbMATH={5794797}，Zbl={1306.68055}}