启发性搜索相关论文
计算机辅助设计中的二维不规则形状多边形排版系统是当今CAD研究中的热点难点问题.为了解决交互式排版中出现的费时费力等问题,该......
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解".本文探讨了基于支持集策略的归......
