朱利叶斯·迈克利斯 🌐,马克斯·哈斯贝克 🌐,彼得·兰米奇 🌐和拉尔斯·胡佩尔 🌐
2016年4月27日
ROBDD-AFP公司
@文章{ROBDD-AFP,author={朱利叶斯·迈克利斯(Julius Michaelis)和马克斯·哈斯贝克(Max W.Haslbeck)以及彼得·兰米奇(Peter Lammich)和拉尔斯·休佩尔(Lars Hupel)},title={降阶二元决策图的算法},journal={正式证据存档},月={四月},年份={2016年},注释={\url{https://isa-afp.org/entries/ROBDD.html},形式证明开发},ISSN={2150-914x},}
旧版本: