Certified Knowledge Compilation with Application to Verified Model Counting
Certified Knowledge Compilation with Application to Verified Model Counting
复制标题
认证知识编译及其应用于验证模型计数
DOI：
10.4230/lipics.sat.2023.6
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Heule, Marijn J.
中科院分区：
文献类型：
--
作者：
Bryant, Randal E.;Nawrocki, Wojciech;Avigad, Jeremy;Heule, Marijn J.
登录
查看更多内容
认证自上而下决策 DNNF 编译器
DOI：
--
发表时间：
2021
期刊：
AAAI Conference on Artificial Intelligence
影响因子：
--
作者：
Florent Capelli;Jean;P. Marquis
通讯作者：
P. Marquis
Aesop：精益的白盒最佳优先证明搜索
DOI：
10.1145/3573105.3575671
发表时间：
2023
期刊：
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
影响因子：
--
作者：
Jannis Limperg;Asta Halkjær From
通讯作者：
Asta Halkjær From
作为证明系统的知识编译语言
DOI：
--
发表时间：
2019
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
Florent Capelli
通讯作者：
Florent Capelli
自由布尔图的等价性可以在多项式时间内概率性地确定
DOI：
10.1016/s0020-0190(80)90078-2
发表时间：
1980
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
M. Blum;A. K. Chandra;M. Wegman
通讯作者：
M. Wegman
Lean 4 定理证明器和编程语言
DOI：
--
发表时间：
2021
期刊：
CADE
影响因子：
--
作者：
L. D. Moura;Sebastian Ullrich
通讯作者：
Sebastian Ullrich