%0 Journal Article
%T The Theory,Methodology and Tools of Algorithm Engineering:A Case Study with SAT Algorithms<br>算法工程的思想、方法与工具——以SAT算法为研究实例
%A JIAO Jia-Lin HAN Xiao-Feng XU Liang-Xian
%A <br>焦加麟
%A 韩晓峰
%A 徐良贤
%J 计算机科学
%D 2003
%I 
%X 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, refinement, etc. of them, aiming at improving their runtime performance. In this paper, we try to develop the main idea of the theory and methodology of algorithm engineering, and give an introduction to some useful tools. In order to concretize our discussion and illustrate the effectiveness of algorithm engineering, we will base our study on the engineering of SAT algorithms. According to the rules and methodologies of algorithm engineering we have learned, we implement a simple but efficient SAT solver, QuickSAT, as a testbed. Although we haven't utilized most of the advanced techniques used in modern SAT solvers, the result of experimental comparison shows that QuickSAT is close in performance to zChaff, one of the leading SAT solvers in the world today.
%K Computer algorithm
%K Algorithm engineering
%K SAT<br>算法工程
%K SAT算法
%K 研究
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=32E2961108988352&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=9CF7A0430CBB2DFD&sid=708DD6B15D2464E8&eid=FC0714F8D2EB605D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=6