割集论文

2.1维简约图的表达、计算与应用
论文摘要从单幅图像中获取其中的深度信息和恢复被遮挡物体的轮廓是图像分析和理解的重要基础，这在计算视觉研究中称为2．1维简约图（2．1DSketch）或分层表达（LayerRep...
超大规模集成电路形式验证的方法研究
论文题目:超大规模集成电路形式验证的方法研究论文类型:博士论文论文专业:电路与系统作者:卢永江导师:严晓浪关键词:模拟验证,形式验证,等价性验证,二叉决策图,可满足性,割集,锁...