马特奥·扎瓦特里;爱丽丝·拉斐尔;达里奥·奥斯图尼;罗密欧·里兹 选言时间问题的跨学科实验评价。 （英语） Zbl 1522.68519号 约束条件 28，编号1，1-12（2023）.MSC公司：68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人，《约束》28，第1期，第1-12页（2023年；Zbl 1522.68519） 全文： 内政部
玛丽亚·路易莎·博内;萨姆·巴斯;阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;若昂·西尔瓦侯爵 基于最大可满足性的命题证明系统。 （英语） Zbl 1520.68103号 Artif公司。智力。 300，文章ID 103552，39 p.（2021）.MSC公司：68兰特 20层03 65年第68季度 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bonet}等人，Artif。智力。300，文章ID 103552，39 p.（2021；Zbl 1520.68103） 全文： 内政部
喂，巴斯尔;斯科特·桑纳 使用学习的二值化神经网络转换模型，在分解状态和动作空间中进行紧凑高效的规划编码。 （英语） Zbl 1451.68251号 Artif公司。智力。 285，文章ID 103291，20 p.（2020）.MSC公司：68T20型 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{B.说}和\textit{S.Sanner}，阿蒂夫。智力。285，文章ID 103291，20 p.（2020；Zbl 1451.68251） 全文： 内政部 arXiv公司
阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;若昂·西尔瓦侯爵 关于解决SAT解决中分辨率的限制。 （英语） 兹比尔1496.68368 Gaspers，Serge（ed.）等人，《可满足性测试的理论和应用——SAT 2017》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10491, 164-183 (2017).MSC公司：68伏15 03B35型 20层03 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人，Lect。注释计算。科学。10491、164-183（2017年；Zbl 1496.68368） 全文： 内政部 arXiv公司
亚瑟·舒克利;皮埃尔路易吉·努佐;Alberto L.Sangiovanni-Vincentelli。;Sanjit A.Seshia。;乔治·帕帕斯。;保罗·塔布阿达 SMC：可满足性模凸优化。 （英语） Zbl 1366.68102号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。19-28 (2017).MSC公司：65年第68季度 68T20型 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shoukry}等人，in：第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。19-28（2017年；Zbl 1366.68102） 全文： 内政部
汤米·詹胡宁;马丁·格布瑟;尤西·林塔南;亨利克·尼曼;约翰·彭萨尔;朱卡·科兰德 通过约束优化学习离散可分解图形模型。 （英语） Zbl 1505.62200号 统计计算。 第115-130号第27页（2017年）.MSC公司：62-08 62H22个 62H17型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Janhunen}等人，《统计计算》。27，第1号，115--130（2017；Zbl 1505.62200） 全文： 内政部 链接
罗伯托·塞巴斯蒂亚尼;西尔维娅·托马西 具有线性合理成本的优化模理论。 （英语） Zbl 1354.68233号 ACM事务处理。计算。日志。 16，第2号，第12条，第43页（2015年）.MSC公司：第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{S.Tomasi}，ACM翻译。计算。日志。16，第2号，第12条，43页（2015年；Zbl 1354.68233） 全文： 内政部 arXiv公司
劳尔·戈西茨;埃米利安·科夫曼;托马斯·卡尔;杜米特鲁·波托普·布图卡鲁;罗伯特·德·西蒙 静态/离线实时调度约束求解的可扩展性。 （英语） Zbl 1465.68031号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 108-123 (2015).MSC公司：68平方米 68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorcitz}等人，Lect。注释计算。科学。9268，108-123（2015；Zbl 1465.68031） 全文： 内政部 哈尔
弗兰克·哈特;徐，林;霍尔格·H·胡斯。;凯文·莱顿·布朗 算法运行时预测：方法与评估。 （英语） Zbl 1334.68185号 Artif公司。智力。 206, 79-111 (2014).MSC公司：68T05型 65年第68季度 90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hutter}等人，Artif。智力。206、79-111（2014年；Zbl 1334.68185） 全文： 内政部 arXiv公司
比斯特拉·迪尔基纳;卡拉·戈麦斯。;阿什什·萨巴沃尔 可满足性后门复杂性的权衡：动态子解算器和搜索过程中的学习。 （英语） Zbl 1357.68205号 安。数学。Artif公司。智力。 70，第4期，399-431（2014）.MSC公司：68T20型 68T05型 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{B.Dilkina}等人，《数学年鉴》。Artif公司。智力。70，第4号，399--431（2014；Zbl 1357.68205） 全文： 内政部
马可·马拉提亚 规划符合IPC简单偏好和行动成本。 （英语） Zbl 1248.68458号 AI通讯。 25，第4期，343-360（2012）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Maratea}，AI通讯。25，第4号，343--360（2012；Zbl 1248.68458） 全文： 内政部
安德烈亚斯·沃兹劳;埃瓦尔德·斯佩肯迈耶;保时捷、斯特凡 水平图上的广义（k）元缠结图：一种基于可满足性的方法及其评价。 （英语） Zbl 1252.05152号 离散应用程序。数学。 160，第16-17号，2349-2363（2012）.MSC公司：05C62号 05年10月 05二氧化碳 05C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Wotzlaw}等人，《离散应用》。数学。160、第16--17、2349--2363号（2012；Zbl 1252.05152） 全文： 内政部
皮埃尔·汉森;西尔万·佩伦 将局部和全局方法合并到概率可满足性中。 （英语） Zbl 1343.68220号 国际J近似推理 47，编号2125-140（2008）.MSC公司：68T20型 68层37 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{P.Hansen}和\textit{S.Perron}，《国际近似推理》47，第2期，125-140（2008；Zbl 1343.68220） 全文： 内政部
约阿希姆·保罗 通过局部搜索进行整数优化。一种与域相关的方法。 （英语） Zbl 0934.90053号 计算机科学课堂讲稿1637.人工智能课堂讲稿。柏林：施普林格。xix，137 p.（1999）。 审核人：斯特凡·尼克尔（凯泽斯劳滕） MSC公司：90立方厘米 90C09型 90B90型 90C27型 90 C90 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Walser}，通过局部搜索进行整数优化。一种与域相关的方法。柏林：施普林格出版社（1999；Zbl 0934.90053）