摘要： The recently emerging idea of Algorithm Engineering in the community of Computer Science is about how to engineer computer algorithms by integrating the design, analysis, implementation, experimental testing, refine-ment, etc. of them, aiming at improvin

关键词: 算法工程 SAT算法 研究 计算机