Decision DNNFs with imbalanced conjunction cannot efficiently represent
CNFs of bounded width
引用本文复制引用
Igor Razgon.Decision DNNFs with imbalanced conjunction cannot efficiently represent
CNFs of bounded width[EB/OL].(2025-05-21)[2025-12-13].https://arxiv.org/abs/2505.16012.学科分类
计算技术、计算机技术
评论