×

夏普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 马库斯·齐瑟

按年份列出的引文