×

加密MiniSat

swMATH ID: 10082
软件作者： M·索斯。
描述： CryptoMiniSat。在这个解算器描述中，我们介绍了CryptoMiniSat的特征集，这是一个现代SAT解算器，旨在将SatELite、PrecoSat、GLUCOSE和MiniSat的优点与CryptoMiiSat版本1的xor子句处理结合起来，以创建一个公式，该公式可以在合理的时间内解决多种类型的不同问题实例。
主页： http://www.msoos.org/cryptominisat2/
相关软件： 超小卫星；弯曲；玲玲；糠；葡萄糖；PrecoSAT公司；SageMath软件；DRAT微调；Treengeling公司；CPLEX公司；SCIP公司；萨特齐拉；github；糖浆；ManySAT公司；PolyBoRi公司；古罗比；伯克明州；协处理器；SMAC公司
引用于： 44文件
全部的 前5名

127位作者引用

三 托拜厄斯·菲利普
2 哈立德省贝拉新世
2 阿明·比尔
2 迈克尔·科迪什
2 Czarnecki、Krzysztof
2 维杰·加内什
2 霍尔格·H·胡斯。
2 简·霍拉克
2 弗兰克·哈特
2 马丁·克鲁泽
2 罗伯托·斯卡拉
2 凯文·莱顿·布朗
2 梁家辉
2 马吕斯·林道尔
2 苏巴摩·迈特拉
2 诺伯特·曼恩
2 爱丽丝·安·米勒
2 文森特·穆索（Vincent A.Mousseau）。
2 尤塞夫·奥伦
2 瓦西拉Ouerdane
2 Poupart，帕斯卡
2 桑塔努·萨卡尔
2 哈南沙巴纳
2 沙万·库马尔·蒂瓦里
2 羊毛，Avishai
1 阿奇利奥普塔斯，迪米特里斯
1 托拜厄斯·阿切特伯格
1 吉尔·奥德玛
1 阿努巴卜·巴克西
1 阿德里安·巴林特
1 巴尼克（Banik）、萨巴德普（Subhadeep）
1 克拉克·W·巴雷特。
1 萨姆·贝利斯
1 阿纳布·巴塔查里亚
1 米克尔波菲尔
1 约翰·巴赫曼（Johannes A.Buchmann）。
1 斯坦尼斯拉夫·布利金五世。
1 布斯克茨，迪达
1 张东勋
1 陈浩
1 Cheng、Chen-Mou
1 德米特里五世·奇斯蒂科夫。
1 邱一浩
1 周立平
1 危险，Jean-Luc
1 雷娜·迪米特洛娃
1 丁金泰
1 马蒂亚斯·弗勒里
1 迈克尔·弗兰克
1 阿隆·戈尔
1 西尔万·吉利
1 郭健
1 阿什图什·古普塔
1 Hari Govind，V.K。
1 马克西米利安·海辛格
1 Heule，Marijn J.H。
1 洪秀姬
1 洪伟智
1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。
1 阿夫拉罕·伊扎科夫
1 雅各布，斯文
1 马蒂·Järvisalo
1 Jinkeon Kang
1 斯特凡·科尔布尔
1 拉克希曼·库普萨米
1 克里斯托弗·拉布鲁切
1 弗雷德里克·拉菲特
1 格雷戈·利安德
1 Lee，Yongseong李勇成
1 李楚敏
1 李、余
1 刘国珍
1 吕志鹏
1 罗，毛
1 林奇，因斯
1 马云飞
1 鲁帕克·马朱姆达尔
1 鲁西迪·马卡里姆。
1 索米亚·马尼
1 Vasco M.Manquinho。
1 很多，费利普
1 Joáo P.塞尔瓦侯爵。
1 鲁本·马丁斯
1 尼古拉斯·莫代特
1 图兰梅尔特姆·Sönmez
1 Messeng Ekossono，Ange-Salomé
1 安托尼奥·莫尔加多
1 穆尼奥斯，维克托
1 豪尔赫·朱·纳卡哈拉（Jorge jun Nakahara）。
1 马克西姆·纳赛尔
1 艾娜·尼梅茨
1 亚历克斯·奥兹德米尔
1 马克·皮尔洛
1 波兰人，塞尔吉奥
1 马蒂亚斯·普雷纳
1 帕特里克·普洛瑟
1 阿德里安·雷博拉·帕多
1 马修·雷纳尔
1 阿什什·萨巴沃尔
1 霍斯特，萨穆洛维茨
…还有27位作者
全部的 前5名

12篇连载文章中引用

6 约束条件
三 人工智能
2 信息学报
2 符号计算杂志
2 计算机与运筹学
2 计算机科学中的数学
1 南京大学学报。自然科学
1 设计、代码和密码
1 有限域及其应用
1 SibirskieÈlektronnye Matematicheskie Izvestiya公司
1 可满足性、布尔建模与计算杂志
1 乌拉尔数学杂志
全部的 前5名

在12个字段中引用

25 计算机科学（68至XX）
16 信息与通信理论、电路（94-XX）
8 运筹学、数学规划（90-XX）
5 交换代数（13-XX）
4 组合数学（05-XX）
三 场论与多项式（12-XX）
2 数理逻辑与基础（03-XX）
2 阶、格、有序代数结构（06-XX）
2 数论（11-XX）
1 量子理论（81-XX）
1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX）
1 生物学和其他自然科学（92-XX）

按年份列出的引文