CEGARTIX公司 swMATH ID: 22085 软件作者： 德沃夏克，W。；Järvisalo，M。；Wallner，J.P。；南卡罗来纳州沃尔特兰 描述： CEGARTIX v0.4：基于SAT的反例引导论证推理工具。我们为2015年国际辩论计算模型竞赛（ICCMA）提供了CEGARTIX 0.4版。我们描述了软件体系结构的主要部分、算法背后的主要思想、ICCMA 2015特定的改编，以及如何获得CEGARTIX。 主页： http://argumentationcompetition.org/2015/pdf/paper_12.pdf 相关软件： 糠;超小卫星;葡萄糖;玲玲;ProGraph软件;CoQuiAAS公司;拉马兹解算器;Argtools公司;邓吉尼;崔弟;预MaxSAT;卡奈德（Carneades）;钻石;ConArg2公司;克林戈;ASPARTIX公司 引用于： 1文件 2位作者引用 1 马蒂亚斯·蒂姆 1 塞雷娜·维拉塔 连载1篇 1 人工智能 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文