%0 Journal Article
%T 约束满足问题的预处理研究
%A 陈恩红
%A 蔡庆生
%J 计算机科学
%D 1994
%I 
%K 人工智能
%K 约束满足
%K 前处理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9AA834B80E907B9D0A27A2D340178EF9&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=94C357A881DFC066&sid=16D8618C6164A3ED&eid=2001E0D53B7B80EC&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0