安德烈·希德勒;斯泽德,斯特凡 用SAT计算最优超树分解。 (英语) Zbl 07777842号 Artif公司。因特尔。 325,文章ID 104015,18 p.(2023).MSC公司:68兰特 05年6月15日 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Schidler}和\textit{S.Szeider},Artif。因特尔。325,文章ID 104015,18 p.(2023;Zbl 07777842) 全文: 内政部
丽贝卡·根泽尔;劳伦特·米歇尔;威廉·扬·范霍夫 Haddock中决策图的优化边界。 (英语) Zbl 07745659号 Andre A.Cire(编辑),《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日,第20届国际会议,CPAIOR 2023,法国尼斯。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13884, 150-166 (2023).MSC公司:68T20型 900亿 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gentzel}等人,Lect。注释计算。科学。13884、150--166(2023;Zbl 07745659) 全文: 内政部
苏布拉马尼,K。;彼得·沃伊切乔夫斯基 使用位缩放的UTVPI约束中的整数可行性和反驳。 (英语) Zbl 1507.68220号 算法 85,第2号,610-637(2023).MSC公司:68卢比 68周05 68瓦40 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{P.Wojciechowski},Algorithmica 85,No.2,610--637(2023;Zbl 1507.68220) 全文: 内政部
德拉本特,Włodzimierz 关于皇后程序的正确性和完整性。 (英语) Zbl 07776333号 理论与实践。日志。程序。 22,编号1,37-50(2022).MSC公司:68N17号 05B15号 60年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},理论与实践。日志。程序。22,编号1,37--50(2022;Zbl 07776333) 全文: 内政部 arXiv公司 OA许可证
拉杰夫·阿鲁尔;苏古曼·班萨尔;奥斯伯特·巴斯塔尼;基绍尔州佐提穆鲁甘 强化学习中规范转换的框架。 (英语) Zbl 1528.68205号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 604-624 (2022).MSC公司:60年第68季度 68T05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。13660、604--624(2022年;Zbl 1528.68205) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·利帕里尼;罗伯托·塞巴斯蒂亚尼 通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 (英语) Zbl 1522.68716号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505, 137-153 (2022).MSC公司:68伏15 55平方米 90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。13505,137--153(2022;Zbl 1522.68716) 全文: 内政部
费德里科·切萨尼;迪弗朗西斯科马利诺,恰拉;吉迪尼,奇亚拉;朱利亚·格兰德勒;达妮埃拉·洛雷蒂;法布里奇奥·玛丽亚·马吉;保罗·梅洛;马可·蒙塔利;塞尔吉奥·特萨利斯 使用答案集编程优化业务流程发现。 (英语) Zbl 1515.68290号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13416, 498-504 (2022).MSC公司:68T20型 68N17号 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Chesani}等人,Lect。注释计算。科学。13416、498——504(2022年;Zbl 1515.68290) 全文: 内政部
迈克尔·布隆丁;菲利普·马佐维耶基;菲利普·奥特马特 通过松弛验证工作流网络的通用性和结构可靠性。 (英语) 兹比尔1514.68123 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。13372, 468-489 (2022).MSC公司:60年第68季度 68问题85 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,Lect。注释计算。科学。13372,468--489(2022;Zbl 1514.68123) 全文: 内政部 arXiv公司
根纳迪·埃弗科夫;马提亚斯·施穆拉 整数规划中线性松弛的复杂性。 (英语) Zbl 1494.90052号 数学。程序。 194,编号1-2(A),191-227(2022).MSC公司:90立方厘米 90C57型 52个B05 52B20型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Averkov}和\textit{M.Schymura},数学。程序。194,编号1--2(A),191-227(2022;Zbl 1494.90052) 全文: 内政部 arXiv公司
Julia艾森特;Edon Kelmendi;简·Křetínsk;马克西米利安·威宁格 简单随机对策的值迭代:停止准则和学习算法。 (英语) Zbl 1507.91016号 Inf.计算。 285,B部分,文章ID 104886,32 p.(2022).MSC公司:91A15型 91A68型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisentraut}等人,《信息计算》。285,B部分,文章ID 104886,32页(2022;Zbl 1507.91016) 全文: 内政部 arXiv公司
石炭纪,Clément;米盖尔·罗梅罗;斯坦尼斯拉夫·伊文 从另一方面来看,一般值约束满足问题的复杂性。 (英语) Zbl 07470541号 SIAM J.计算。 51,第1号,第19-69页(2022年).MSC公司:65年第68季度 68卢比 03B70号 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{C.Carbonnel}等人,SIAM J.Compute。51,编号1,19--69(2022;Zbl 07470541) 全文: 内政部 arXiv公司
塞巴斯蒂安·荣格斯;托法、哈泽姆;Sanjit A.Seshia。 Markov决策过程的运行时监控器。 (英语) 兹比尔1493.68214 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 553-576 (2021).MSC公司:60年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人,Lect。注释计算。科学。12760553--576(2021年;Zbl 1493.68214) 全文: 内政部 arXiv公司
彼得·沃伊切乔夫斯基;苏布拉马尼,K。;马修·威廉姆森 UTVPI约束中线性不可行的最优长度树状反驳的多项式时间算法。 (英语) Zbl 1527.90246号 离散应用程序。数学。 305, 272-294 (2021).MSC公司:90立方厘米 90C05(二氧化碳) 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{P.Wojciechowski}等人,《离散应用》。数学。305、272--294(2021;Zbl 1527.90246) 全文: 内政部
费比安·梅耶;马塞尔·哈克;吉尔根·吉斯尔 使用预期大小推断概率整数程序的预期运行时间。 (英语) Zbl 1467.68066号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 250-269 (2021).MSC公司:65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Meyer}等人,Lect。注释计算。科学。12651,250-269(2021;Zbl 1467.68066) 全文: 内政部 arXiv公司
Emrah B.Edis。 具有排序决策的拆卸线平衡问题的约束编程方法。 (英语) Zbl 1510.90085号 计算。操作。物件。 126,文章ID 105111,20 p.(2021).MSC公司:90B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Edis},计算。操作。第126号决议,文章编号105111,20页(2021;Zbl 1510.90085) 全文: 内政部
弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔 概率可达性约束的Farkas证书和最小见证人。 (英语) Zbl 1507.68187号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).MSC公司:60年第68季度 2017年第68季度 68问题85 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Funke}等人,Lect。注释计算。科学。12078,324--345(2020;Zbl 1507.68187) 全文: 内政部 arXiv公司
乌尔里希·赫斯塔特;安娜·奥扎基;克莱尔·狄克逊 通过平移证明自然上的逐点度量时态逻辑的定理。 (英语) Zbl 1459.03012号 J.汽车。推理 64,第8期,1553-1610(2020).MSC公司:03B35型 03B44号 03B70号 68T40型 68伏15 90B20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,J.Autom。推理64,编号8,1553-1610(2020;兹bl 1459.03012) 全文: 内政部
罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 优化数学卫星:优化模理论的工具。 (英语) 兹比尔1468.68206 J.汽车。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,No.3,423--460(2020;Zbl 1468.68206) 全文: 内政部
马哈茂德·萨拉马蒂;萨代赫·苏贾尼;鲁帕克·马朱姆达尔 CTMC和CTMDP的近似时限可达性:Lyapunov方法。 (英语) Zbl 1514.68146号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 389-406 (2018).MSC公司:60年第68季度 03B70号 60J28型 第68季度87 90立方厘米 93个B03 93二氧化碳 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Salamati}等人,Lect。注释计算。科学。11024,389--406(2018;Zbl 1514.68146) 全文: 内政部 arXiv公司
克里斯托夫·伯克霍尔茨 多项式微积分、Sherali-Adams和平方和证明之间的关系。 (英语) Zbl 1491.03077号 Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第11条,第14页(2018年)。MSC公司:20层03 13页第10页 2015年第68季度 90C22型 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{C.Berkholz},LIPIcs——莱布尼茨国际程序。通知。96,第11条,第14页(2018;兹bl 1491.03077) 全文: 内政部
吕银润;陈,李;张,畅游;曲、大成;纳斯罗·明阿拉;王永吉 针对具有析取约束的线性优化问题,提出了一种交错深度优先搜索方法。 (英语) Zbl 1400.90252号 环球杂志。最佳方案。 70,第4期,737-756(2018).MSC公司:90C26型 90C08型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lyu}等人,J.Glob。最佳方案。70,第4号,737--756(2018;Zbl 1400.90252) 全文: 内政部
安德烈·克罗钦;斯坦尼斯拉夫·齐夫尼 有价值的顾客服务提供商的复杂性。 (英语) Zbl 1482.68165号 Krokhin,Andrei(ed.)等人,约束满足问题:复杂性和可逼近性,Dagstuhl研讨会153012015年7月。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7,233-266(2017)。MSC公司:68兰特 65年第68季度 68年第27季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Krokhin}和\textit{S.Zivny},Dagstuhl后续行动7,233--266(2017;Zbl 1482.68165) 全文: 内政部
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;萨沙·旺德利希 最大化实现目标的有条件预期回报。 (英语) Zbl 1453.90180号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。10206, 269-285 (2017).MSC公司:90立方厘米 65年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。10206269--285(2017;Zbl 1453.90180) 全文: 内政部 arXiv公司
Jip J.德克尔。;古斯塔夫·比约达尔;卡尔森,Mats;皮埃尔·弗莱纳;珍妮·诺埃尔·莫内特 MiniZin子问题预解决的自动稳定。 (英语) Zbl 1425.68386号 约束条件 22,第4期,512-529(2017).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Dekker}等人,《约束》22,第4期,512-529(2017;Zbl 1425.68386) 全文: 内政部
马西莫·劳里亚;雅各布·诺德斯特伦 平方和证明的严格尺寸-角度界限。 (英语) Zbl 1422.03125号 计算。复杂性 26,第4期,911-948(2017).MSC公司:20层03 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lauria}和\textit{J.NordströM},计算。复杂性26,第4号,911--948(2017;Zbl 1422.03125) 全文: 内政部 arXiv公司 链接
陈,李;吕银润;王冲;吴敬正;张,畅游;纳斯罗·明阿拉;贾马尔·阿希亚菲;王永吉 求解算术约束公式上的线性优化。 (英语) Zbl 1408.90171号 环球杂志。最佳方案。 69,编号1,69-102(2017).MSC公司:90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}等人,J.Glob。最佳方案。69,第1号,69--102(2017;Zbl 1408.90171) 全文: 内政部
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英语) Zbl 1378.68122号 Acta信息。 54,第6号,545-587(2017).MSC公司:第68季度87 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
彼得·沃伊切乔夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼,K。 勘误表:“分析线性算术理论的限制片段”。 (英语) Zbl 1393.68054号 安。数学。Artif公司。因特尔。 79,第4期,371-392(2017).MSC公司:2015年第68季度 2015年3月1日 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{P.Wojciechowski}等人,《数学年鉴》。Artif公司。因特尔。79,第4号,371--392(2017;Zbl 1393.68054) 全文: 内政部
阿德里安·库索斯;维克托·维亚努 以流程为中心的数据驱动业务工件视图。 (英语) 兹比尔1370.68215 J.计算。系统。科学。 86, 82-107 (2017).MSC公司:68问题85 第68页,共15页 60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{A.Koutsos}和\textit{V.Vianu},J.Compute。系统。科学。86、82——107(2017;Zbl 1370.68215) 全文: 内政部
彼得·沃伊切乔夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼,K。 分析线性算术理论的限制片段。 (英语) Zbl 1390.68318号 安。数学。Artif公司。因特尔。 79,编号1-3,245-266(2017);勘误表同上79,第4号,371-392(2017)。MSC公司:2015年第68季度 2015年3月1日 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{P.Wojciechowski}等人,Ann.Math。Artif公司。因特尔。79,编号1--3,245--266(2017;Zbl 1390.68318) 全文: 内政部
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证和策略综合。 (英语) Zbl 1347.93240号 欧洲药典控制 30, 15-30 (2016).MSC公司:93E03型 91A15型 93亿B50 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}和\textit{M.Kwiatkowska},《欧洲期刊控制》30,15-30(2016;Zbl 1347.93240) 全文: 内政部
弗罗恩。;M.纳夫。;亨塞尔,J。;布罗克施米特,M。;J·吉斯尔。 整数程序的运行时下限。 (英语) Zbl 1475.68134号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 550-567 (2016).MSC公司:2017年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}等人,Lect。注释计算。科学。9706550-567(2016;Zbl 1475.68134) 全文: 内政部 arXiv公司
董武宣;Khanh,To Van先生;小川,水井裕人 raSAT:多项式约束的SMT解算器。 (英语) Zbl 1475.68359号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 228-237 (2016).MSC公司:68T20型 68伏15 90立方 PDF格式BibTeX公司 XML格式引用 \textit{V.X.Tung}等人,Lect。注释计算。科学。9706228--237(2016;Zbl 1475.68359) 全文: 内政部
石炭纪,Clément;马丁·库珀。 约束满足问题中的可追踪性:一项调查。 (英语) Zbl 1334.90220号 约束条件 21,第2期,115-144(2016).MSC公司:90C60型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Carbonnel}和\textit{M.C.Cooper},约束21,第2期,115--144(2016;Zbl 1334.90220) 全文: 内政部 链接
马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克,吉多;玛丽亚·加西亚·德拉班达 可视化搜索树分析。 (英语) Zbl 1334.90170号 约束条件 21,第1期,77-94(2016).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Shishmarev}等人,《约束21》,第1期,第77-94页(2016年;Zbl 1334.90170) 全文: 内政部
库沙·埃特萨米;米哈利斯·亚纳卡基斯 递归马尔可夫决策过程和递归随机对策。 (英语) Zbl 1333.91005号 美国临床医学杂志 62,第2号,第11条,69页(2015年).MSC公司:91A15型 60J80型 65年第68季度 2012年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{M.Yannakakis},J.ACM 62,第2号,第11条,69 p.(2015;Zbl 1333.91005) 全文: 内政部
克里希南德·查特吉;马丁·奇梅利克;Daca,Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 形式方法系统。设计。 47,第2期,230-264(2015).MSC公司:第68季度87 60年第68季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
弗拉基米尔·科尔莫戈罗夫;约翰·塔珀;斯坦尼斯拉夫·伊文 一般值CSP的线性规划的威力。 (英语) Zbl 1456.68059号 SIAM J.计算。 44,第1期,1-36页(2015年).MSC公司:65年第68季度 2017年第68季度 68兰特 90C05(二氧化碳) 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Kolmogorov}等人,SIAM J.Compute。44,第1号,1-36(2015;Zbl 1456.68059) 全文: 内政部 arXiv公司
帕夫洛斯·艾里纳基斯;萨尔瓦多鲁杰里;苏布拉马尼,K。;彼得·沃伊切乔夫斯基 关于量化的线性含义。 (英语) Zbl 1319.68102号 安。数学。Artif公司。因特尔。 71,第4号,301-325(2014).MSC公司:2017年第68季度 2015年3月1日 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{P.Eirinakis}等人,《数学年鉴》。Artif公司。因特尔。71,第4号,301-325(2014;Zbl 1319.68102) 全文: 内政部
拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 线性时间概率验证的最小反例。 (英语) Zbl 1360.68604号 西奥。计算。科学。 549, 61-100 (2014).MSC公司:60年第68季度 60J20型 第68季度87 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人,Theor。计算。科学。549、61-100(2014年;Zbl 1360.68604) 全文: 内政部
罗希特·查达;马赫什·维斯瓦纳坦;拉梅什·维斯瓦纳坦 概率测度的最小上界及其在抽象中的应用。 (英语) Zbl 1282.68176号 Inf.计算。 234, 68-106 (2014).MSC公司:第68季度87 60A10英寸 90立方厘米 60J05型 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,信息计算。23468--106(2014;Zbl 1282.68176) 全文: 内政部
萨尔瓦多鲁杰里;帕夫洛斯·艾里纳基斯;苏布拉马尼,K。;彼得·沃伊切乔夫斯基 关于量化线性系统的复杂性。 (英语) 兹比尔1358.03051 西奥。计算。科学。 518, 128-134 (2014).MSC公司:2015年3月1日 2015年第68季度 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{S.Ruggieri}等人,Theor。计算。科学。518128--134(2014;Zbl 1358.03051) 全文: 内政部
卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 (英语) 兹比尔1317.90283 约束条件 18,第4期,535-578(2013).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《约束18》,第4期,535--578(2013;Zbl 1317.90283) 全文: 内政部
汤姆·施里杰弗斯;塔克,吉多;皮特·威勒;霍斯特·萨穆洛维茨;彼得·斯塔基。 搜索组合词。 (英语) Zbl 1309.90090号 约束条件 18,第2期,269-305(2013).MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,约束18,No.2,269--305(2013;Zbl 1309.90090) 全文: 内政部 arXiv公司 链接
CemalettinÖztürk;塞姆拉金枪鱼;赫尼奇,卜拉欣;厄内克,M.阿尔斯兰 柔性混流装配线的平衡和调度。 (英语) Zbl 1304.90149号 约束条件 18,第3期,434-469(2013).MSC公司:90立方厘米 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Øztürk}等人,《约束18》,第3期,第434--469页(2013年;Zbl 1304.90149) 全文: 内政部
威廉·扬·范霍夫 半定规划和约束规划。 (英语) 兹比尔1334.90121 Anjos,Miguel F.(编辑)等,《半定、二次曲线和多项式优化手册》。纽约州纽约市:施普林格出版社(ISBN 978-1-4614-0768-3/hbk;978-1-46104-0769-0/电子书)。《运筹学与管理科学国际丛书》166、635-668(2012)。MSC公司:90C22型 90 C90 90-02年 PDF格式BibTeX公司 XML格式引用 \textit{W.-J.van Hoeve},国际Ser。操作。资源管理。科学。166635-668(2012年;Zbl 1334.90121) 全文: 内政部
帕夫洛斯·艾里纳基斯;萨尔瓦多鲁杰里;苏布拉马尼,K。;彼得·沃伊切乔夫斯基 参数化线性约束蕴含的复杂性观点。 (英语) Zbl 1309.90107号 约束条件 17,第4期,461-487(2012).MSC公司:90立方厘米 90C05(二氧化碳) 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Eirinakis}等人,《约束17》,第4期,461--487(2012;Zbl 1309.90107) 全文: 内政部
伯恩哈德·布利姆;迈克尔·莫拉克;斯特凡·沃尔特兰 D-FLAT:使用树分解和答案集编程解决声明性问题。 (英语) Zbl 1260.68057号 理论与实践。日志。程序。 12,编号4-5,445-464(2012).MSC公司:68N17号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Bliem}等人,《理论与实践》。日志。程序。12、编号4--5、445--464(2012;Zbl 1260.68057) 全文: 内政部 arXiv公司
哈拉尔德·贝克;托马斯·艾特;托马斯·克伦瓦尔纳 交通法规不一致性管理:形式化和复杂性结果。 (英语) Zbl 1361.68220号 Fariñas del Cerro,Luis(编辑)等人,《人工智能中的逻辑》。2012年9月26日至28日,法国图卢兹,第13届欧洲会议,JELIA 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。《人工智能课堂讲稿》,80-93(2012)。MSC公司:68T27型 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Beck}等人,Lect。注释计算。科学。7519、80-93(2012年;Zbl 1361.68220) 全文: 内政部
F.里卡。;格拉索,G。;阿尔维亚诺,M。;M.曼纳。;V·利奥。;伊利塔诺,S。;北卡罗来纳州塞拉利昂。 在Gioia-Tauro海港通过答案集编程进行团队建设。 (英语) Zbl 1250.90050 理论与实践。日志。程序。 12,第3期,361-381(2012).MSC公司:90B90型 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Ricca}等人,《理论与实践》。日志。程序。12,第3号,361--381(2012;Zbl 1250.90050) 全文: 内政部
亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英语) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Compute。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部
马库斯·拉贝。;斯文·舍韦 CTMDP和连续时间马尔可夫对策中有界可达性的有限最优控制。 (英语) Zbl 1242.91016号 Acta信息。 48,编号5-6,291-315(2011). 审核人:安娜·贾斯基维茨(Wrocław) MSC公司:91A15型 90立方厘米 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rabe}和\textit{S.Schewe},《信息学报》第48期,第5--6291--315号(2011年;Zbl 1242.91016) 全文: 内政部 arXiv公司
尼扎尔·哈切米;米歇尔·根德劳;卢梭,路易斯·马汀 一种求解货车调度问题的混合约束规划方法。 (英语) Zbl 1231.90186号 安·Oper。物件。 184, 163-178 (2011).MSC公司:90B35型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.El Hachemi}等人,Ann.Oper。第184、163--178号决议(2011年;Zbl 1231.90186) 全文: 内政部
马加托,L。;阿鲁达,L.V.R。;Neves,F.六月。 用于调度管道中商品的组合CLP-MILP方法。 (英语) Zbl 1208.90074号 J.Sched。 14,第1期,57-87(2011).MSC公司:90B35型 90C27型 90立方厘米 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Magatáo}等人,J.Sched。14,第1号,57--87(2011;Zbl 1208.90074) 全文: 内政部
乔纳森·高德雷奥;Jean-Marc弗雷特;阿兰·卢梭;苏菲·D’Mours 不同生产系统中的联合计划和调度与联合生产:木材行业的案例研究。 (英语) 兹比尔1208.90051 计算。操作。物件。 38,第9期,1238-1250(2011).MSC公司:90B30型 90B35型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaudreault}等人,计算。操作。第38号决议,第9号,1238--1250(2011年;Zbl 1208.90051) 全文: 内政部
布鲁诺·库塞尔;西里尔·加沃维尔;马马杜·穆斯塔法·坎特 紧凑的标签用于高效的一阶模型检查。 (英语) Zbl 1237.90191号 J.库姆。最佳方案。 21,第1期,第19-46页(2011年). 审核人:马蒂亚斯·埃尔戈特(奥克兰) MSC公司:90C27型 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}等人,J.Comb。最佳方案。21、1号、19-46(2011;Zbl 1237.90191) 全文: 内政部 arXiv公司
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 马尔可夫决策过程的基于游戏的抽象再定义框架。 (英语) Zbl 1233.90276号 形式方法系统。设计。 36,第3期,246-280(2010).MSC公司:90立方厘米 91A15型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,《形式方法系统》。设计。36,第3号,246--280(2010;Zbl 1233.90276) 全文: 内政部 链接
彼得·琼森;安德烈·克罗金;弗雷德里克·库维宁 硬约束满足问题在位置1处具有硬间隙。 (英语) Zbl 1176.90498号 西奥。计算。科学。 410,编号38-40,3856-3874(2009).MSC公司:90C27型 68周25 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}等人,Theor。计算。科学。410,编号38-40,3856-3874(2009;Zbl 1176.90498) 全文: 内政部
斯蒂法诺·比斯塔雷利;西蒙·福利;巴里·奥沙利文;弗朗西斯科·桑蒂尼 从婚姻到联盟:软CSP方法。 (英语) Zbl 1248.68451号 Oddi,Angelo(编辑)等人,约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会,CSCLP 2008,罗马,意大利,2008年6月18-20日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03250-9/pbk)。计算机科学讲义5655。人工智能课堂讲稿,1-15(2009)。MSC公司:68T20型 68T42型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,Lect。注释计算。科学。5655,1--15(2009年;Zbl 1248.68451) 全文: 内政部
沃哈·布莱尔;保罗·梅洛;马可·蒙塔利;保罗·托罗尼;尼古拉·赞诺 \({\mathcal B}\)-对流层。面向代理的需求工程满足声明性业务流程建模和验证的计算逻辑。 (英语) Zbl 1175.68453号 Sadri,Fariba(编辑)等人,《多智能体系统中的计算逻辑》。第八届国际研讨会,CLIMA VIII,葡萄牙波尔图,2007年9月10日至11日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-88832-1/pbk)。计算机科学课堂讲稿5056。人工智能课堂讲稿,157-176(2009)。MSC公司:68T42型 68T27型 60年第68季度 68单位35 90B99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Bryl}等人,Lect。注释计算。科学。5056157--176(2009年;Zbl 1175.68453) 全文: 内政部
托尼·曼奇尼;大卫·米卡莱托;帕特里齐,法比奥;马可·卡多利 在CSPLib上评估ASP和商业解决方案。 (英语) Zbl 1179.90287号 约束条件 13,第4期,407-436(2008).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人,《约束13》,第4期,407--436(2008;Zbl 1179.90287) 全文: 内政部
斯蒂法诺·比斯塔雷利;法比奥·加杜奇;哈维尔·拉罗萨;爱玛·罗伦 多目标优化的一种软方法。 (英语) Zbl 1185.90169号 Garcia de la Banda,Maria(编辑)等人,《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89981-5/pbk)。计算机科学课堂讲稿5366764-768(2008)。MSC公司:90C27型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,Lect。注释计算。科学。5366、764--768(2008年;Zbl 1185.90169) 全文: 内政部
格雷戈里·古汀;见鬼,帕沃;阿拉什·拉菲;Yeo,安德斯 最小代价图同态的二分法。 (英语) Zbl 1149.90164号 Eur.J.库姆。 29,第4号,900-911(2008). 审核人:Rainer E.Burkard(格拉茨) MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Gutin}等人,《欧洲法学杂志》Comb。29,编号4900-911(2008;兹bl 1149.90164) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;卢卡·德·阿尔法罗;理查德·迈尔;斯文·桑德伯格 有损信道的随机游戏。 (英语) Zbl 1138.91336号 Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962,35-49(2008)。MSC公司:91A15型 91A43型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4962,35-49(2008;Zbl 1138.91336) 全文: 内政部
西蒙·德·吉夫里;劳伦特·珍妮 约束编程中部分搜索方法和混合搜索方法的统一框架。 (英语) Zbl 1086.90051号 计算。操作。物件。 33,第10号,2805-2833(2006).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{S.de Givry}和\textit{L.Jeanni},计算。操作。第33号决议,第102005-2833号(2006年;兹bl 1086.90051) 全文: 内政部 哈尔
克里斯特尔·拜尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;Boudewijn R.哈维尔科特。 一致连续时间Markov决策过程中时间有界可达概率的有效计算。 (英语) Zbl 1081.90066号 西奥。计算。科学。 345,第1期,2-26(2005).MSC公司:90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Theor。计算。科学。345,编号1,2--26(2005;Zbl 1081.90066) 全文: 内政部 链接