更快地枚举DNF模型:打破对公式大小的依赖
摘要
出版物: -
arXiv电子打印 发布日期: 2018年10月 内政部: -
10.48550/arXiv.1810.04006年 arXiv: -
arXiv:1810.04006 书目代码: -
2018年arXiv181004006C 关键词: -
计算机科学——计算复杂性; 计算机科学-数据结构和算法