机译:CDCL SAT溶剂中细粒嵌套并联性的研究
University of Maryland USA;
University of Maryland USA;
Boolean satisfiability (SAT) solver; parallel algorithms; nested parallelism;
机译:通过CDCL SAT求解器中的单位传播进行子句化
机译:CDCL SAT索引中的动态对称处理静态对称性断裂
机译:多面求解器中共享内存并行性的研究
机译:通过适用于CDCL SAT解算器的高效SAT编码生成组合测试用例
机译:通过利用CDCL的经验特性来改进SAT解算器。
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:基于组合的并行CDCL saT求解器的缓存性能研究