SAT Solving in the Serverless Cloud
SAT Solving in the Serverless Cloud
复制标题
无服务器云中的 SAT 解决方案
DOI：
10.34727/2021/isbn.978-3-85448-046-4_33
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Barrett, Clark
中科院分区：
文献类型：
--
作者：
Ozdemir, Alex;Wu, Haoze;Barrett, Clark
登录
查看更多内容
随机 3-SAT 的搜索和启发式共生
DOI：
--
发表时间：
2014
期刊：
arXiv.org
影响因子：
--
作者：
S. Mijnders;B. D. Wilde;Marijn J. H. Heule
通讯作者：
Marijn J. H. Heule
DOI：
10.1145/3267809.3267815
发表时间：
2018-10
期刊：
Proceedings of the ACM Symposium on Cloud Computing
影响因子：
--
作者：
Lixiang Ao;Liz Izhikevich;G. Voelker;G. Porter
通讯作者：
Lixiang Ao;Liz Izhikevich;G. Voelker;G. Porter
DOI：
10.1007/978-3-030-51825-7_9
发表时间：
2020-06-26
期刊：
Theory and Applications of Satisfiability Testing – SAT 2020
影响因子：
--
作者：
Heisinger M;Fleury M;Biere A
通讯作者：
Biere A
PaSAT - 使用引理交换进行并行 SAT 检查：实施和应用
DOI：
--
发表时间：
2001
期刊：
Electron. Notes Discret. Math.
影响因子：
--
作者：
C. Sinz;Wolfgang Blochinger;W. Küchlin
通讯作者：
W. Küchlin
GridSAT：计算网格应用程序的设计和实现
影响因子：
5.5
作者：
Wahid Chrabakh;R. Wolski
通讯作者：
R. Wolski