亚萨特 swMATH ID: 2524 软件作者： 赵玉婷 描述： ASSAT（SAT解算器的答案集）是一种使用SAT解算器计算逻辑程序的答案集的系统。简而言之，给定一个地面逻辑程序P，ASSAT（X）根据所使用的SAT解算器X，其工作原理如下：计算P的完成并将其转换为一组C子句。在C上重复调用X以获得模型M（如果不存在这样的M，则以失败终止）。如果M是P的一个答案集，则返回该答案集。否则，在P中找到一些循环公式不被M满足的循环，并将其相应的子句添加到C中。 主页： http://assat.cs.ust.hk/ 编程语言： C类++ 操作系统： 多平台 依赖项： 依赖关系 关键词： 关键字 相关软件： C模型；斯莫德尔斯；扣环；格林戈；Lparse（L解析）；糠；超小卫星；NoMoRe公司；克林戈；数据日志；WASP公司；GNT公司；Potassco公司；GASP公司；DLV公司；伯克明州；诺莫尔++；ASP工具；Clingcon公司；萨特齐拉 引用于： 172文件 更多出版物： http://assat.cs.ust.hk/#出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 ASSAT：由SAT解算器计算逻辑程序的答案集。 Zbl 1085.68544号林方珍；赵玉婷 2004 全部的 前5名192位作者引用 18 马丁·格布瑟 15 托尔斯滕·绍布（Torsten H.Schaub）。 13 汤米·詹胡宁 13 尼古拉·利昂 10 汉斯·托姆皮茨 9 沃尔夫冈·费伯 9 林方珍 9 斯特凡·沃尔特兰 8 托马斯·艾特 8 Lee，Joohyng先生 7 弗拉基米尔·利夫希茨 7 V.Wiktor马雷克 7 Niemelä，Ilkka N.F。 7 弗朗西斯科·里卡 7 你，嘉慧 6 弗朗西斯科·卡利默里 6 尤利亚·利勒 6 马可·马拉提亚 6 杰弗里·布赖恩·雷梅尔 6 特鲁什琴斯基，米洛斯奥 5 埃米利亚·奥伊卡里宁 5 西蒙娜·佩里 5 杰拉尔德·菲弗 5 王一松 5 张明义 4 迈克尔·芬克 4 本杰明·考夫曼 4 托马斯·林奇 4 恩里科·蓬泰利 4 袁丽燕 4 张燕 三 奇塔·R·巴拉尔。 三 布莱恩，马丁 三 马克·德纳克 三 迈克尔·盖尔芬德 三 恩里科·金西格里亚 三 乔瓦姆巴蒂斯塔·伊安尼 三 Järvisalo，马蒂 三 罗兰·卡明斯基 三 克莱尔·莱夫雷 三 帕斯卡·尼古拉斯 三 马克斯·奥斯特罗斯基 三 约格·普勒 三 儿子Tran Cao 三 德克·维尔梅尔 三 周毅 2 Jean-Marc阿利奥特 2 马里奥·阿尔维亚诺 2 法布里西奥·安吉乌利 2 雷切尔·本·埃利亚胡·佐哈里 2 贝莱德·本哈莫 2 巴特·博加特 2 乔里·博曼森 2 佩德罗·卡巴拉尔 2 加泰拉诺、格尔索米纳 2 陈，尹 2 玛丽娜·德沃斯 2 马丁·迪盖兹 2 帕特里克·多尔蒂 2 阿戈斯蒂诺·多维尔 2 路易斯·法利尼亚斯·德尔·塞罗 2 保罗·费拉里斯 2 约翰·克劳斯·费希特 2 吉安路易吉·格雷科 2 斯迪恩·海曼斯 2 胡安·朱利安 2 杰罗·扬森 2 凯瑟琳·孔扎克 2 刘国华 2 安德烈·诺伊曼 2 约翰内斯·奥奇 2 路易吉·帕洛波利 2 奥德尔·帕皮尼 2 尼古拉·佩洛夫 2 Polleres，阿克塞尔 2 尤西·林塔南 2 萨阿德（Emad W.Saad）。 2 泽尼普·戈岑·萨里巴特 2 沈一东 2 伊戈尔·斯特芬 2 斯扎·阿斯、安德烈吉 2 斯泽德，斯特凡 2 范登·布勒克，盖伊 2 埃里克·沃贝尔 2 张元林 2 赵玉婷 1 费利西达·阿瓜多 1 愤怒，克里斯蒂安 1 弗农·亚松森 1 克里斯托弗·贝亚特里克斯 1 亚历山大·波奇曼 1 皮耶罗·安德里亚·博纳蒂 1 布莱·博内 1 洛丽斯·波萨托 1 罗伯特·布鲁迈耶 1 莫里斯·布吕诺格 1 马可·卡多利 1 道格拉斯·森泽 1 陈小平 1 克里克，汤姆 …还有92位作者 全部的 前5名19篇连载文章中引用 25 逻辑程序设计理论与实践 20 人工智能 12 数学与人工智能年鉴 5 计算机基础理论 4 ACM计算逻辑汇刊 三 逻辑与计算杂志 三 人工智能研究杂志 2 自动推理杂志 2 人工智能通信 2 约束条件 1 理论计算机科学 1 算法杂志 1 国际近似推理杂志 1 杰泰。实验与理论人工智能杂志 1 数学逻辑档案 1 应用逻辑杂志 1 中国科学。F系列 1 逻辑的进展 1 可满足性、布尔建模与计算杂志 全部的 前5名在6个字段中引用 168 计算机科学（68至XX） 19 数学逻辑和基础（03-XX） 三 运筹学、数学规划（90-XX） 三 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文