亚萨特 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(Lparse);糠;超小卫星;NoMoRe公司;克林戈;数据日志;WASP公司;GNT公司;Potassco公司;GASP公司;DLV公司;Berk最小值;诺莫尔++;ASP工具;Clingcon公司;萨特齐拉 引用于: 172文件 更多出版物: http://assat.cs.ust.hk/#出版物 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 ASSAT:由SAT解算器计算逻辑程序的答案集。 Zbl 1085.68544号林方珍;赵玉婷 2004 全部的 前5名192位作者引用 18 马丁·格布瑟 15 Schaub,Torsten H。 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 Johannes Oetsch 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 AI通信 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) 按年份列出的引文