夏普SAT swMATH ID: 16713 软件作者: M·瑟利。 描述: sharpSAT–使用高级组件缓存和隐式BCP计算模型。我们介绍了sharpSAT,一种新的#SAT解算器,它基于著名的DPLL算法和SAT和#SAT求解器的技术。最重要的是,我们引入了一种全新的组件编码方法,它将缓存大小减少了至少一个数量级,以及一种新的缓存管理方案。此外,我们以非常适合#SAT求解的方式应用了基于BCP的众所周知的前瞻性。我们表明,这些技术非常有益,尤其是在大型结构化实例上,因此我们的解算器的性能明显优于其他#SAT解算器。 主页: https://sites.google.com/site/marcthurley/sharpsat网站 相关软件: 夏普;GANAK公司;超小卫星;安托姆郡;高温气冷堆;SageMath公司;糠;z3型;玲玲;徒步旅行;开放式多媒体接口;github;粉碎;组织环境信息系统;克林戈;PicoSAT卫星;MUSer2系列;协处理器;极乐;数学检查 引用于: 32文件 全部的 前5名被75位作者引用 4 马库斯·赫彻 4 斯特凡·沃尔特兰 三 约翰·克劳斯·费希特 三 Kuldeep S.梅尔。 三 帕特里克·蒂尔 2 托拜厄斯·博格 2 何塞·卡斯塔尼奥。 2 罗德里戈卡斯塔尼奥 2 Czarnecki、Krzysztof 2 维杰·加内什 2 Heule,Marijn J.H。 2 托马斯·卡勒 2 Jean-Marie拉格尼茨 2 皮埃尔·侯爵 2 王金燕 2 吴京丽 2 尹明浩 2 爱德华·祖尔科斯基 1 阿奇利奥普塔斯,迪米特里斯 1 阿利亚斯·阿拉马维 1 阿夫尼,盖伊 1 雷汉·阿卜杜勒·阿齐兹 1 苏海卜·巴里尔 1 贝恩德·贝克尔 1 雅罗斯拉夫·本迪克 1 塞西尔·布劳恩斯坦 1 布莱特,柯蒂斯 1 伯查德,简 1 杰弗里·楚 1 Cuong,C.K。 1 阿莱西奥·达奥 1 杰西·戴维斯 1 吕克·德·雷德 1 亚当·道格拉斯 1 埃马纽埃尔 1 舒巴姆·戈尔 1 菲尔·希伯恩 1 阿尔伯特·海因勒 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 Jean-Michel伊利 1 马蒂·Järvisalo 1 萨尔夫拉兹·库希德 1 安吉丽卡·基米格 1 安德鲁·道格拉斯·金 1 科齐里亚斯(Ilias S.Kotsireas)。 1 巴蒂斯特·兰宾 1 格雷戈·利安德 1 伊曼纽尔·隆卡 1 Joáo P.塞尔瓦侯爵。 1 卡洛斯·门西娅 1 斯特凡·门格尔 1 迈克尔·莫拉克 1 伊莎贝尔·穆尼尔 1 克里斯蒂安·缪斯 1 丹尼斯·波特雷诺 1 亚历山德罗·普雷维蒂 1 杰克·雷蒙德 1 吉列尔莫罗德里格斯-纳瓦斯 1 托拜厄斯·舒伯特 1 Aditya A.Shrotri。 1 彼得·詹姆斯·斯塔基 1 伯恩德·斯图尔姆费尔斯 1 塞缪尔·特尤伯 1 帕诺斯·西奥多罗普洛斯 1 塔希萨·托达 1 Todo、Yosuke 1 彼得罗·托蒂斯 1 Hideki Tsuiki 1 铃本,靖国 1 Moshe Ya’akov瓦尔迪 1 王开元 1 王文喜 1 亚历山大·维格尔 1 萨那尤纳斯 1 马库斯·齐瑟 全部的 前5名11篇连载文章中引用 2 人工智能 2 理论计算机科学 2 自动推理杂志 2 约束条件 1 凯伯内提卡 1 系统设计中的形式化方法 1 人工智能研究杂志 1 数学与人工智能年鉴 1 计算数学基础 1 逻辑程序设计理论与实践 1 计算机科学中的数学 全部的 前5名在12个字段中引用 28 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 4 组合数学(05-XX) 4 信息与通信理论、电路(94-XX) 2 概率论与随机过程(60-XX) 1 有序,格,有序代数结构(06-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 非结合环和代数(17-XX) 1 测量和集成(28-XX) 1 统计学(62-XX) 按年份列出的引文