机译:基于改进冲突条款处理的并行SAT求解算法
机译:基于DNA计算的SAT问题并行算法。
机译:通过动态搜索和独立子句对改进概率3-SAT算法
机译:将子句学习与基于网格的随机SAT解决方案相结合
机译:基于SAT溶剂D启发式的基于条款-BASEA子句的启发式坐垫
机译:用于子句学习SAT求解器的高效算法
机译:基于DNA的快速并行分子算法:求解GF(2n)上的椭圆曲线离散对数问题
机译:基于社区和基于LBD的条款共享政策,用于并行饱和解决方案
机译:基于流水线Thomas算法重构的并行方向分裂求解器