×

兹马思-数学第一资源

求解非线性算法。(英语) Zbl公司 1358.68257
Gramlich,Bernhard(编辑)等人,《自动推理》。第六届国际联席会议,2012年6月26日至29日,英国曼彻斯特,IJCAR,会议记录。柏林:斯普林格出版社(ISBN 978-3-642-31364-6/pbk)。计算机科学课堂讲稿7364。人工智能课堂讲稿,339-354(2012)。
摘要:我们提出了一个新的算法来判定非线性算术约束的可满足性。该算法采用冲突驱动子句学习(CDCL)方式搜索可行任务,同时使用柱代数分解的投影算子引导搜索远离冲突状态。
整个系列请参见[Zbl 1245.68010].

理学硕士:
68T15型 定理证明(演绎、解析等)(MSC2010)
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部