×

tawSolver软件

swMATH ID: 10844
软件作者： 坦比尔·艾哈迈德；奥利弗·库尔曼
描述： 在范德华登数w（2；3，t）上。。。特别是我们介绍了一种新颖的（开源）SAT解算器，即tawSolver，它在这里研究的SAT实例上表现最佳，实际上是M.Davis等人[Commun.ACM 5，394–397（1962；Zbl 0217.54002）]的原始DLL解算器。但它具有高效的实现和面向look-ahead解算器的典型现代启发式，应用第二作者O.Kullmann开发的理论[the OKlibrary:为SAT解决（通用）引入“整体”研究平台。报告CSR 1-2009。斯旺西大学计算机科学报告系列（2009）]。
主页： https://github.com/OKullmann/oklibrary/blob/master/Sattisfility/Solvers/TawSolver/TawSolver.cpp
源代码：  https://github.com/OKullmann/oklibrary/blob/master/Sattisfility/Solvers/TawSolver/TawSolver.cpp
相关软件： 山猫;数学检查;github;DRAT-饰件;数学软件;枫树;超小卫星;玲玲;PicoSAT卫星;UBCSAT公司;数学溢出;DLMF公司;SMTCoq公司;鹦鹉螺;中国信贷银行;踪迹;间隙;污水处理厂;梅斯4;z3（零3）
引用于： 12文件
全部的 前5名

24位作者引用

4 奥利弗·库尔曼
2 坦比尔·艾哈迈德
2 布莱特，柯蒂斯
2 维杰·加内什
2 科齐里亚斯（Ilias S.Kotsireas）。
1 张凯文·K·H。
1 戴维斯，马丁·戴维
1 德拉戈米尔·奥科维奇。
1 Heule，Marijn J.H。
1 米查尔·库里尔
1 乔治·洛格曼
1 唐纳德·洛夫兰。
1 考希克·马兰
1 V.Wiktor马雷克
1 赛义·普拉尼斯·雷迪
1 多米尼克·罗伊
1 德拉文斯·夏尔马
1 Sim，Kai An先生
1 亨特·S·斯内维（Hunter S.Snevily）。
1 布雷特·史蒂文斯
1 谭大生
1 阿弥陀佛·特里巴提
1 黄国斌
1 奥列格·谢尔盖维奇·扎金
全部的 前5名

10篇连载文章中引用

1 离散应用数学
1 洛基山数学杂志
1 韩国数学学会公报
1 ACM通信
1 工程、通信和计算中的应用代数
1 数学与人工智能年鉴
1 整数序列杂志
1 计算机基础理论
1 整数
1 数学论坛，Pi

在5个字段中引用

10 组合数学（05-XX）
8 计算机科学（68至XX）
4 数论（11-XX）
1 数学逻辑和基础（03-XX）
1 几何图形（51至XX）

按年份列出的引文