|
|
计算机科学 2003
算法工程的思想、方法与工具——以sat算法为研究实例Keywords: 算法工程sat算法研究计算机 Abstract: therecentlyemergingideaofalgorithmengineeringinthecommunityofcomputerscienceisabouthowtoengineercomputeralgorithmsbyintegratingthedesign,analysis,implementation,experimentaltesting,refine-ment,etc.ofthem,aimingatimprovin
|
