%0 Journal Article
%T 算法工程的思想、方法与工具——以sat算法为研究实例
%A 焦加麟 韩晓峰 徐良贤？
%J 计算机科学
%D 2003
%X therecentlyemergingideaofalgorithmengineeringinthecommunityofcomputerscienceisabouthowtoengineercomputeralgorithmsbyintegratingthedesign,analysis,implementation,experimentaltesting,refine-ment,etc.ofthem,aimingatimprovin
%K 算法工程sat算法研究计算机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8595272&flag=1