Verified Encodings for SAT Solvers
Verified Encodings for SAT Solvers
复制标题
SAT 求解器的验证编码
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Heule, Marijn J.
中科院分区：
文献类型：
--
作者：
Codel, Cayden;Avigad, Jeremy;Heule, Marijn J.
登录
查看更多内容
在检查子句证明时进行修剪
DOI：
10.1109/fmcad.2013.6679408
发表时间：
2013
期刊：
2013 Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Marijn J. H. Heule;W. Hunt;Nathan Wetzler
通讯作者：
Nathan Wetzler
布尔公式的自动重新编码
DOI：
--
发表时间：
2012
期刊：
Haifa Verification Conference
影响因子：
--
作者：
Norbert Manthey;Marijn J. H. Heule;Armin Biere
通讯作者：
Armin Biere
精益定理证明中的投票理论
DOI：
10.1007/978-3-030-88708-7_9
发表时间：
2021
期刊：
ArXiv
影响因子：
--
作者：
W. Holliday;Chase Norman;E. Pacuit
通讯作者：
E. Pacuit
通过计算 Lambda 演算的评估进行归一化
DOI：
10.1007/3-540-45413-6_15
发表时间：
2001
期刊：
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
影响因子：
--
作者：
Andrzej Filinski
通讯作者：
Andrzej Filinski
CryptoMiniSat 交换机 - 解决加密实例的优化
影响因子：
3.8
作者：
Anastasia;O. Zendel;Werner Lennartz;Kai Weber
通讯作者：
Kai Weber