...
机译:SAT算法组合策略的实验研究
Satisfiability problem; propositional formula; algorithm optimization;
机译:SAT算法组合策略的实验研究
机译:一种基于群体模拟退火的一种新的杂交算法,其三址阶段过渡试验研究
机译:SAT为某些特殊类别的图着色的算法:一些理论和实验结果
机译:SAT算法组合策略的实验研究
机译:关键字记忆策略:高中英语中的SAT词汇研究。
机译:尼福沙嗪和SAT05f联合治疗可降低实验性同种异体骨髓移植后的移植物抗宿主病
机译:子句缩短与修剪相结合产生了确定性SAT算法的新上限