第六 IJCAR战略 2006年:美国华盛顿州西雅图
米拉·阿切尔 , 蒂埃里·德拉图尔男孩 , 塞萨尔·穆尼奥斯 :
第六届自动扣除策略国际研讨会论文集, IJCAR战略 2006年,2006年8月16日,美国华盛顿州西雅图,部分PLoC 2006。 理论计算机科学电子笔记 174(11), 爱思维尔 2007 米拉·阿切尔 , 蒂埃里·德拉图尔男孩 , 塞萨尔·穆尼奥斯 :
前言。 1-2个 史蒂文·艾克 , 纳西索·马蒂-奥列特 , 何塞·梅塞盖尔 , 阿尔贝托·维尔德乔 :
演绎、策略和重写。 3-25 玛丽亚·保拉·博纳西纳 , Mnacho Echenim公司 :
基于重写的决策程序。 27-45 弗洛伦特·基什内尔 , 塞萨尔·穆尼奥斯 :
PVS#:简化PVS战术。 47-58 林洪平 , 米拉·阿切尔 :
支持PVS战略制定的翻译模板。 59-79
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)