BriefGPT.xyz
Ask
alpha
关键词
sat encoding techniques
搜索结果 - 1
伪布尔约束的 BDDs 新视角
该研究论文主要研究了基于二元决策图的 Pseudo-Boolean 约束编码技术,提出了使用系数分解方法克服爆炸性增长问题,并给出了第一个多项式广义弧一致的 ROBDD 编码算法。
PDF
10 years ago
Prev
Next