|
|
POS-14:卷信息位置-14。第五届SAT语用研讨会9篇文章•116页•发布日期:2014年7月28日 论文键盘抽象,CDCL算法,条款共享,CNF公式,CNF分区,复杂性分析,分布式计算,分而治之,DQBF公司,DQDIMACS公司,电子顺磁共振,特征提取,Fiduccia-Mattheyses算法,框架,超图划分,实例化,机器学习,并行可满足性求解器,QBF公司,坐2,SAT竞赛,SAT分区,SAT平台,SAT证明,SAT解算器,SAT求解三,过渡系统,典型case复杂性,不可满足性证明. |
|
|