×

找到34份文件（结果1-34）

最新的 引文 关联
R.金杜林。;北卡罗来纳州贝尔迪塞努。;朱卡姆·恩古努;杜恩斯，R。;坎佩尔，C.-G。

布尔算术方程：获取和使用。 （英文） Zbl 07745673号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884378-394（2023年）。
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Gindullin}等人，Lect。注释计算。科学。13884，378--394（2023；Zbl 07745673）
全文： 内政部
尼古拉斯·贝尔迪卡努;玛丽亚·雷斯特雷波。;赫尔穆特·西蒙尼斯

时间序列约束中变量总和的参数化边界。 （英文） Zbl 07636013号

Hebrard，Emmanuel（编辑）等人，《约束编程、人工智能和运筹学的集成》。第17届国际会议，CPAIOR 2020，奥地利维也纳，2020年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12296, 82-98 (2020).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。12296，82-98（2020；Zbl 07636013）
全文： 内政部 链接
尼古拉斯·贝尔迪卡努;卡尔森，Mats;阿尔班·德里安;查尔斯·普鲁德霍姆;安德烈亚斯·舒特;彼得·斯图基（Peter J.Stuckey）。

艾伦关系中的范围一致的禁区。 （英文） Zbl 1489.68247号

Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10335, 21-29 (2017).
MSC公司：68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。10335，21-29（2017；Zbl 1489.68247）
全文： 内政部 链接
吉尔斯·马迪·万巴;尼古拉斯·贝尔迪卡努

这个任务交叉点约束。 （英文） Zbl 1475.68351号

Quimper，Claude-Guy（编辑），约束编程中AI和OR技术的集成。2016年5月29日至6月1日在加拿大阿联酋班夫举行的2016年CPAIOR第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9676, 246-261 (2016).
MSC公司：68T20型 90B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Madi Wamba}和\textit{N.Beldiceanu}，莱克托。注释计算。科学。9676、246——261（2016年；Zbl 1475.68351）
全文： 内政部
叶卡捷琳娜·阿拉法利奥娃;尼古拉斯·贝尔迪卡努;雷米·杜伦斯;皮埃尔·弗莱纳;弗朗西斯科·罗德里格斯，玛丽亚·安德烈纳;贾斯汀·皮尔逊;赫尔穆特·西蒙尼斯

时间序列约束：CP和MIP上下文中的改进和应用。 （英文） Zbl 1475.68332号

Quimper，Claude-Guy（编辑），约束编程中AI和OR技术的集成。2016年5月29日至6月1日在加拿大阿联酋班夫举行的2016年CPAIOR第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9676, 18-34 (2016).
MSC公司：68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.Arafailova}等人，Lect。注释计算。科学。9676，18-34（2016；Zbl 1475.68332）
全文： 内政部 哈尔
阿诺·莱特特;卡尔森，Mats;尼古拉斯·贝尔迪卡努

（k）维累积约束的同步扫描算法。 （英文） Zbl 1382.68225号

Gomes，Carla（ed.）等人，组合优化问题约束编程中AI和OR技术的集成。2013年5月18日至22日，第十届国际会议，CPAIOR 2013，美国纽约州约克敦高地。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38170-6/pbk）。计算机科学课堂讲稿7874144-159（2013）。
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Letort}等人，Lect。注释计算。科学。7874144-159（2013年；Zbl 1382.68225）
全文： 内政部
尼古拉斯·贝尔迪卡努;卡尔森，Mats;蒂埃里·佩蒂特;雷金、珍妮·查尔斯

与都不一样变量和常数之间的不等式及其推广。 （英文） Zbl 1327.68209号

De Raedt，Luc（编辑）等人，ECAI 2012。第20届欧洲人工智能会议，2012年8月27日至31日，法国蒙彼利埃。诉讼程序。包括第七届人工智能应用大会（PAIS-2012）的会议记录和系统演示轨道。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-097-0/pbk；978-1-6499-098-7/ebook）。《人工智能和应用前沿》242、145-150（2012）。
MSC公司：68T20型 90C27型 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，前面。Artif公司。智力。申请。242145-150（2012年；Zbl 1327.68209）
全文： 链接
尼古拉斯·贝尔迪卡努（编辑）;纳伦德拉·朱西恩（编辑）;埃里克·平森（编辑）

在组合优化问题的约束编程中集成AI和OR技术。2012年5月28日至6月1日，第九届国际会议，CPAIOR 2012，法国南特。诉讼程序。（《AI和OR技术在组合优化问题约束规划中的集成》，第九届国际会议，CPAIOR 2012，法国南特，2012年5月28日至6月1日。诉讼程序。） （英文） Zbl 1241.68008号

计算机科学课堂讲稿7298.柏林：施普林格出版社（ISBN 978-3-642-29827-1/pbk）。xi，第409页。(2012).
MSC公司：68-06 68T20型 90C27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}（ed.）等人，组合优化问题约束编程中AI和OR技术的集成。2012年5月28日至6月1日，第九届国际会议，CPAIOR 2012，法国南特。诉讼程序。柏林：施普林格出版社（2012；Zbl 1241.68008）
全文： 内政部
尼古拉斯·贝尔迪卡努;法比安·赫梅尼耶;泽维尔·洛卡;蒂埃里·佩蒂特

增加的N值约束。 （英文） Zbl 1285.68148号

Lodi，Andrea（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13519-4/pbk）。计算机科学讲义6140，25-39（2010）。
MSC公司：68T20型 90B35型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。6140、25-39（2010年；Zbl 1285.68148）
全文： 内政部
尼古拉斯·贝尔迪卡努;卡尔森，Mats;皮埃尔·弗莱纳;贾斯汀·皮尔逊

关于矩阵、自动机和重复计数。 （英文） Zbl 1285.68147号

Lodi，Andrea（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13519-4/pbk）。计算机科学课堂讲稿6140，10-24（2010）。
MSC公司：68T20型 65年第68季度 90C27型
PDF格式BibTeX公司 XML格式引用
\textit｛N.Beldiceanu｝等人，Lect。注释计算。科学。6140，10--24（2010；Zbl 1285.68147）
全文： 内政部 链接
奥格伦，马格纳斯;尼古拉斯·贝尔迪卡努;卡尔森，Mats;穆罕默德·斯比希;夏洛特·特拉切特;圣菲省赞佩利

在非重叠约束条件下积分对称性的六种方法。 （英文） Zbl 1241.68097号

van Hoeve，Willem-Jan（编辑）等，组合优化问题约束编程中人工智能和OR技术的集成。2009年5月27日至31日在美国宾夕法尼亚州匹兹堡举行的CPAIOR 2009第六届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-01928-9/pbk）。计算机科学课堂讲稿554711-25（2009）。
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{M.奥格伦}等人，莱克特。注释计算。科学。5547，11--25（2009；Zbl 1241.68097）
全文： 内政部 哈尔
尼古拉斯·贝尔迪卡努;卡尔森，Mats;埃曼纽尔·波德

非重叠矩形上下文中累积约束的新过滤。 （英文） Zbl 1142.68505号

Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。计算机科学课程讲稿5015，21-35（2008）。
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。5015，21-35（2008；Zbl 1142.68505）
全文： 内政部
尼古拉斯·贝尔迪卡努;埃曼纽尔·波德

具有正负资源消耗-生产的连续多资源累积约束。 （英文） Zbl 1214.90049号

Van Hentenryck，Pascal（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2007年5月23日至26日在比利时布鲁塞尔举行的2007年CPAIOR第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72396-7/pbk）。计算机科学课堂讲稿4510，214-228（2007）。
MSC公司：90B35型 68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}和\textit{E.Poder}，莱克特。注释计算。科学。4510，214--228（2007；Zbl 1214.90049）
全文： 内政部
尼古拉斯·贝尔迪卡努;艾丽特·凯特里尔;泽维尔·洛卡

无方向的林约束。 （英文） Zbl 1177.90392号

Beck，J.Christopher（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2006年5月31日至6月2日在爱尔兰科克举行的2006年第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34306-7/pbk）。计算机科学课堂讲稿3990，29-43（2006）。
MSC公司：90立方厘米 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。3990、29-43（2006年；Zbl 1177.90392）
全文： 内政部
尼古拉斯·贝尔迪卡努;蒂埃里·佩蒂特;纪尧姆·罗查特

图形特征的边界。 （英文） Zbl 1153.68447号

van Beek，Peter（编辑），约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709742-746（2005）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。3709、742--746（2005年；Zbl 1153.68447）
全文： 内政部
尼古拉斯·贝尔迪卡努;卡尔森，Mats;Jean-Xavier Rampon公司;夏洛特·特拉切特

图不变量是全局约束的必要条件。 （英文） 兹比尔1153.68446

van Beek，Peter（编辑），约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709，92-106（2005）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。3709，92-106（2005；Zbl 1153.68446）
全文： 内政部 链接
尼古拉斯·贝尔迪卡努;皮埃尔·弗莱纳;泽维尔·洛卡

树约束。 （英文） Zbl 1133.90403号

Barták，Roman（ed.）等人，组合优化问题约束编程中人工智能和OR技术的集成。；2005年5月31日至6月1日在捷克共和国布拉格举行的2005年CPAIOR第二届国际会议。仲裁程序。柏林：施普林格出版社（ISBN 978-3-540-26152-0/pbk）。计算机科学课堂讲稿3524，64-78（2005）。
MSC公司：90立方厘米 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。3524，64--78（2005；Zbl 1133.90403）
全文： 内政部
尼古拉斯·贝尔迪卡努;艾丽特·凯特里尔;斯文·泰尔

对同一约束的类GCC限制。 （英文） Zbl 1078.68744号

Faltings，Boi（编辑）等人，约束的最新进展。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会，CSCLP 2004，瑞士洛桑，2004年6月23日至25日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-25176-6/pbk）。计算机科学课堂讲稿3419。人工智能课堂讲稿，1-11（2005）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。3419，1-11（2005年；兹bl 1078.68744）
全文： 内政部
尼古拉斯·贝尔迪卡努;卡尔森，Mats;蒂埃里·佩蒂特

从约束检查器派生过滤算法。 （英文） Zbl 1152.68539号

Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258107-122（2004）。
MSC公司：68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。3258、107-122（2004年；Zbl 1152.68539）
全文： 内政部
尼古拉斯·贝尔迪卡努;蒂埃里·佩蒂特

全球软约束的成本评估。 （英文） Zbl 1094.68638号

Régin，Jean-Charles（ed.）等人，组合优化问题约束编程中人工智能和OR技术的集成。2004年4月20日至22日，第一届国际会议，CPAIOR 2004，法国尼斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21836-X/pbk）。计算机科学讲义3011，80-95（2004）。
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}和\textit{T.Petit}，莱克特。注释计算。科学。3011、80-95（2004年；Zbl 1094.68638）
全文： 内政部
尼古拉斯·贝尔迪卡努;艾丽特·凯特里尔;斯文·泰尔

相同约束的过滤算法。 （英文） 兹比尔1094.68637

Régin，Jean-Charles（ed.）等人，组合优化问题约束编程中人工智能和OR技术的集成。2004年4月20日至22日，第一届国际会议，CPAIOR 2004，法国尼斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21836-X/pbk）。计算机科学讲义3011，65-79（2004）。
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。3011、65-79（2004年；Zbl 1094.68637）
全文： 内政部
尼古拉斯·贝尔迪卡努;埃曼纽尔·波德

周期约束。 （英文） 兹比尔1104.68721

Demoen，Bart（编辑）等人，《逻辑编程》。2004年9月6日至10日，第20届国际会议，ICLP，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22671-0/pbk）。计算机科学讲义3132329-342（2004）。
MSC公司：68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}和\textit{E.Poder}，莱克特。注释计算。科学。3132329--342（2004；Zbl 1104.68721）
全文： 内政部
尼古拉斯·贝尔迪卡努;郭琪;斯文·泰尔

凸多面体之间的非重叠约束。 （英文） Zbl 1067.68613号

Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 392-407 (2001).
MSC公司：68T20型 90C57型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，Lect。注释计算。科学。2239392--407（2001年；Zbl 1067.68613）
全文： 链接
尼古拉斯·贝尔迪卡努;卡尔森，Mats

扫描作为应用于非重叠矩形约束的通用修剪技术。 （英文） Zbl 1067.68612号

Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 377-391 (2001).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}和\textit{M.Carlsson}，莱克特。注释计算。科学。2239377--391（2001年；Zbl 1067.68612）
全文： 链接
尼古拉斯·贝尔迪卡努

修剪最小约束族和不同值约束族的数量。 （英文） Zbl 1067.68611号

Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。第2239、211-224页（2001年）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}，莱克特。注释计算。科学。2239211-224（2001年；Zbl 1067.68611）
全文： 链接
尼古拉斯·贝尔迪卡努

全局约束作为同一类型的基本约束的结构化网络上的图属性。 （英文） Zbl 1044.68737号

Dechter，Rina（编辑），约束编程的原理和实践-CP 2000。第六届国际会议，新加坡，2000年9月18日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41053-8）。莱克特。注释计算。科学。1894, 52-66 (2000).
MSC公司：68T20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}，莱克特。注释计算。科学。1894年，52-66年（2000年；Zbl 1044.68737）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件