×

找到15个文档（结果1-15）

最新的 引文 关联
克里斯蒂安·贝西尔;石炭纪，Clément;安东·德里斯;埃马纽埃尔·赫伯拉德;乔治·卡特西雷洛斯;纳吉布·拉扎尔;尼娜·纳罗季斯卡;克洛德·盖·昆珀;科斯塔斯·斯特乔;迪莫斯坦尼斯·索罗斯（Dimostenis C.Tsouros）。;托比·沃尔什

勘误表：“通过部分查询学习约束”。 （英语） Zbl 07840013号

Artif公司。智力。 328，文章ID 104075，第1页（2024）.
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Artif。智力。328，文章ID 104075，1页（2024；Zbl 07840013）
全文： 内政部
克里斯蒂安·贝西尔;氯化碳;安东·德里斯;埃马纽埃尔·赫伯拉德;乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;克洛德·盖·昆珀;科斯塔斯·斯特乔;迪莫斯坦尼斯·索罗斯（Dimostenis C.Tsouros）。;沃尔什，托比

通过部分查询学习约束。 （英语） Zbl 07702942号

Artif公司。智力。 319，文章ID 103896，31 p.（2023）; 更正同上，328，文章ID 104075，1 p.（2024）。
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Artif。智力。319，文章ID 103896，31 p.（2023；Zbl 07702942）
全文： 内政部
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;马克·安德雷·梅纳德;克洛德·盖·昆珀;托比·沃尔什

缓冲资源约束：算法和复杂性。 （英语） Zbl 1407.68447号

Simonis，Helmut（编辑），约束编程中AI和OR技术的集成。2014年5月19日至23日在爱尔兰科克举行的CPAIOR 2014第11届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8451, 318-333 (2014).
MSC公司：68T20型 2017年第68季度 68瓦40 90B35型 90立方厘米27
PDF格式BibTeX公司 XML格式引用
\textit｛C.Bessiere｝等人，Lect。注释计算。科学。8451、318--333（2014；Zbl 1407.68447）
全文： 内政部 哈尔
克里斯蒂安·贝西尔;尼娜·纳罗季斯卡;克洛德·盖·昆珀;托比·沃尔什

这个所有不同的先例约束。 （英语） 兹比尔1326.68266

Achterberg，Tobias（ed.）等人，组合优化问题约束编程中AI和OR技术的集成。2011年5月23日至27日在德国柏林举行的2011年CPAIOR第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21310-6/pbk）。计算机科学讲座笔记6697，36-52（2011）。
MSC公司：68T20型 2017年第68季度 90立方厘米27
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Lect。注释计算。科学。6697，36-52（2011；Zbl 1326.68266）
全文： 内政部
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;克孜尔坦、泽内普;托比·沃尔什

ROOTS约束。 （英语） Zbl 1160.68539号

Benhamou，Frédéric（编辑），约束编程的原则和实践–CP 2006。2006年9月25日至29日，在法国南特举行的2006年CP第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-4626-5/pbk）。计算机科学课堂讲稿4204，75-90（2006）。
MSC公司：68T20型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Lect。注释计算。科学。4204、75-90（2006年；Zbl 1160.68539）
全文： 内政部 链接
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;克孜尔坦、泽内普;托比·沃尔什

其中，常见约束和不相交约束。 （英语） Zbl 1180.68244号

Hnich，Brahim（编辑）等人，《约束的最新进展》。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会，CSCLP 2005，乌普萨拉，瑞典，2005年6月20-22日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-34215-X/pbk）。计算机科学课堂讲稿3978。人工智能课堂讲稿，29-43（2006）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Lect。注释计算。科学。3978、29-43（2006年；Zbl 1180.68244）
全文： 内政部
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;克孜尔坦、泽内普;托比·沃尔什

范围约束：算法和实现。 （英语） Zbl 1177.68182号

Beck，J.Christopher（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2006年5月31日至6月2日在爱尔兰科克举行的2006年第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34306-7/pbk）。计算机科学课堂讲稿3990，59-73（2006）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Lect。注释计算。科学。3990、59--73（2006年；Zbl 1177.68182）
全文： 内政部
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;克孜尔坦、泽内普;托比·沃尔什

NValue约束的过滤算法。 （英语） Zbl 1133.68427号

Barták，Roman（ed.）等人，组合优化问题约束编程中人工智能和OR技术的集成。；2005年5月31日至6月1日在捷克共和国布拉格举行的2005年CPAIOR第二届国际会议。提交诉讼。柏林：施普林格出版社（ISBN 978-3-540-26152-0/pbk）。计算机科学课堂讲稿3524，79-93（2005）。
MSC公司：68T20型 90立方厘米27 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Lect。注释计算。科学。3524，79-93（2005；Zbl 1133.68427）
全文： 内政部 链接
克里斯蒂安·贝西埃;埃马纽埃尔·赫伯拉德;托比·沃尔什

SAT中的局部一致性。 （英语） Zbl 1204.68184号

Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 299-314 (2004).
MSC公司：68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessière}等人，Lect。注释计算。科学。2919、299--314（2004；Zbl 1204.68184）
全文： 内政部
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;托比·沃尔什

全局约束的可处理性。 （英语） Zbl 1152.68542号

Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258716-720（2004）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，Lect。注释计算。科学。3258716--720（2004年；Zbl 1152.68542）
全文： 内政部
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;托比·沃尔什

集合和多集合变量的不相交、分割和交集约束。 （英语） 兹比尔1152.68541

Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258138-152（2004）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Bessiere｝等人，Lect。注释计算。科学。3258、138--152（2004年；Zbl 1152.68541）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件