Joáo P.塞尔瓦侯爵。;卡里姆·A·萨卡拉。 GRASP:命题可满足性的搜索算法。 (英语) Zbl 1392.68388号 IEEE传输。计算。 48,第5期,506-521(1999). 评论:未发送评论稿。 引用于119文件 理学硕士: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68吨15 定理证明(演绎、解析等)(MSC2010) 90C08型 线性规划的特殊问题(运输、多指标、数据包络分析等) PDF格式BibTeX公司 XML格式引用 \textit{J.P.Marques Silva}和\textit{K.A.Sakalah},IEEE Trans。计算。48,第5号,506--521(1999;Zbl 1392.68388) 全文: 内政部 链接