Max-Planck Institut fuer Informatik, Saarbruecken;
机译:对3D选择性Nef配合物的布尔运算:数据结构,算法,优化的实现和实验
机译:正规化三角网格和实现的强大布尔运算算法
机译:ZnS4N布尔和N / N配位环境的合成,光谱,热和BVS研究:双(二苄基二硫代氨基甲酸酯)(N布尔和N)锌(II)配合物的单晶X射线结构(N布尔和N = 1,10-菲咯啉,四甲基乙二胺和4,4'-联吡啶
机译:3D选择性NEF复合体的布尔操作:数据结构,算法和实现
机译:使用布尔可满足性进行逻辑综合和验证的算法和数据结构。
机译:从染色体接触数据重建人类染色体3D结构的最大似然算法
机译:3D选择性Nef配合物的布尔运算:数据结构,算法,优化的实现和实验