%0 Journal Article
%T Retrospect and Prospect of Decomposition Technology<br>约束分解技术回顾与展望
%A LI Zhan-shan
%A HAN Wen-cheng
%A GUO Ting
%A <br>李占山
%A 韩文成
%A 郭霆
%J 计算机科学
%D 2011
%I 
%X Constraint satisfaction problems formalism offers a powerful frame of knowledge representation that can solve many problems. But constraint satisfaction problems are often NP-hard problems,so it's very important to using decomposition to reduce the costs of computation. This paper mainly described the importance of the decomposition in constraint satisfaction problems, several classic decomposition technologies and history of decomposition, and then analyzed these technologies. We introduced several new technologies of decomposition and analyzed them, then made a summary. We proposed our next research ideas and direction according to the problems in these technologies.
%K Constraint satisfaction problems
%K Decomposition technology
%K Knowledge representation frame<br>约束满足问题，约束分解技术，知识表示框架
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=2AC66EB828B1E435CF9DBCE853E5B501&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=F3090AE9B60B7ED1&sid=771469D9D58C34FF&eid=27746BCEEE58E9DC&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0