CLSAT公司 swMATH ID: 8416 软件作者: Duckki Oe;安德鲁·雷诺兹;亚伦·斯塔姆 说明: clsat=SMT-LIB格式解析器+CNF转换器+SAT求解器+QF_IDL求解器 主页: http://homepage.cs.uiowa.edu/~astump/talks/clsat.pdf 相关软件: z3(零3);SMT-LIB公司;伊莎贝尔/霍尔;验证;CVC4型;DRAT-饰件;Coq公司;cvc3型;超小卫星;大锤;SMT互联网;数学SAT5;毫升;cvc5公司;CertiStr证书;SMTCoq公司;精益;帕拉库巴;基萨特;钙DiCaL 引用于: 7文件 全部的 前5名34位作者引用 三 塞萨尔·蒂内利 2 克拉克·W·巴雷特。 2 安德鲁·雷诺兹 2 王,弯腰 1 哈尼尔·巴博萨 1 贾斯敏·克里斯蒂安·布兰切特 1 Böhme,萨沙 1 扎卡里亚奇哈尼 1 马蒂亚斯·弗勒里 1 傅玉福 1 顾,明 1 莉安娜·哈达伦 1 他,费 1 基里恩·克莱默 1 汉娜·拉奇尼特 1 刘嘉祥 1 戴尔·艾伦·米勒 1 艾娜·尼梅茨 1 安德烈斯·诺茨利 1 Oe,Duckki(杜基·欧) 1 亚历克斯·奥兹德米尔 1 马蒂亚斯·普雷纳 1 费边·雷诺 1 石小木 1 斯莫尔卡、斯蒂芬·朱尔夫 1 艾伯特·斯特克迈尔 1 阿伦·斯塔姆 1 孙家光 1 蔡明勋 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 杨伯寅 1 周敏(Zhou,Min) 1 尤尼·佐哈尔 3篇连载文章中引用 2 自动推理杂志 1 系统设计中的形式化方法 1 应用数学杂志 在2个字段中引用 7 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 按年份列出的引文