切割去除方法的复杂性比较

马提亚斯·巴兹,亚历山大·莱奇.切割去除方法的复杂性比较.莱因哈德·卡勒,彼得·施罗德·海斯特,罗伯特·施塔克,编辑,计算机科学中的证明理论,国际研讨会,PTCS 2001,Dagstuhl Castle,Germany,2001年10月7日至12日,Proceedings.第2183卷,共页计算机科学课堂讲稿,页49-67、施普林格、,2001 [doi]

摘要

缺少摘要。