%0 Journal Article
%T OBDD Based Symbolic Algorithm for Searching Acyclic AND/OR Graphs<br>无圈与或图搜索的符号OBDD算法研究
%A WANG Xue-song
%A ZHAO Ling-zhong
%A GU Tian-long
%A <br>王雪松
%A 赵岭忠
%A 古天龙
%J 计算机科学
%D 2010
%I 
%X 与或图搜索是人工智能领域一项重要的问题求解技术.基于传统数据结构的与或图表示技术极大地限制了与或图搜索算法可求解问题的规模.在无圈与或图符号OBDD表示的基础上,给出了一种求解无圈与或图最小代价解图的符号搜索算法.实验结果表明,与 AO*算法相比,该算法可处理问题的规模有较大的提高.
%K OBDDs<br>与或图
%K 最小代价解图
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=16304DCC8B5361F974FDC1BFF8B51BA6&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=DF92D298D3FF1E6E&sid=954CE65414DD94CA&eid=DABEF202280E7EF1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=14