Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany;
机译:快速精确地将BDD最小化
机译:结合有序的最佳优先搜索与分支和绑定,以实现精确的BDD最小化
机译:朝向BDDS的精确最小化 - 一种基于精英的分布式进化算法
机译:快速精确地将BDD最小化
机译:非线性弹性中的轴对称问题:能量最小化器的存在和整体注入以及新型的精确解。
机译:快速精确/准精确的FBp算法三源螺旋锥束CT
机译:快速精确的BDD最小化