×

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

最新的 引文 关联
石炭纪，Clément;大卫·A·科恩。;马丁·库珀。;斯坦尼斯拉夫·伊文

关于由单调模式定义的CSP的单点弧一致性。 （英文） Zbl 1487.68208号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第19条，第15页（2018年）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Carbonnel｝等人，LIPIcs——莱布尼茨国际期刊。通知。96，第19条，第15页（2018；Zbl 1487.68208）
全文： 内政部 arXiv公司
大卫·科恩;杰森·克兰普顿;安德烈·加加林;格雷戈里·古汀;马克·琼斯

具有用户独立约束的工作流可满足性问题的工程算法。 （英文） Zbl 1407.68448号

Chen，Jianer（编辑）等，算法前沿。2014年6月28日至30日，中国张家界，一汽2014年第八届国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8497, 48-59 (2014).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cohen}等人，Lect。注释计算。科学。8497、48-59（2014年；Zbl 1407.68448）
全文： 内政部 链接
大卫·科恩（编辑）

约束编程的原则和实践——CP 2010。2010年9月6日至10日，第16届国际会议，CP 2010，苏格兰圣安德鲁斯。诉讼程序。 （英文） 兹比尔1198.68020

计算机科学课堂讲稿6308.柏林：施普林格出版社（ISBN 978-3-642-15395-2/pbk）。xx，660页。(2010).
MSC公司：68-06 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cohen}（编辑），约束编程的原理和实践——CP 2010。2010年9月6日至10日，第16届国际会议，CP 2010，苏格兰圣安德鲁斯。诉讼程序。柏林：施普林格出版社（2010；Zbl 1198.68020）
全文： 内政部
斯坦尼斯拉夫·伊文;大卫·A·科恩。;彼得·杰文斯（Peter G.Jeavons）。

二元子模函数的表达能力。 （英文） Zbl 1250.68122号

Králović，Rastislav（编辑）等人，《2009年计算机科学的数学基础》。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734744-757（2009）。
MSC公司：65年第68季度 68T20型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{S.ivn}等人，Lect。注释计算。科学。5734744--757（2009年；Zbl 1250.68122）
全文： 内政部
大卫·A·科恩。;彼得·杰文斯（Peter G.Jeavons）。;斯坦尼斯拉夫·伊文

有值约束的表达能力：层次和折叠。 （英文） Zbl 1146.68455号

Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。计算机科学课堂讲稿4741798-805（2007）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Cohen}等人，Lect。注释计算。科学。4741、798--805（2007年；Zbl 1146.68455）
全文： 内政部 链接
克里斯·霍顿;大卫·科恩;马丁·J·格林。

约束表示对结构可操纵性的影响。 （英文） Zbl 1160.68550号

Benhamou，Frédéric（编辑），约束编程的原则和实践–CP 2006。2006年9月25日至29日，在法国南特举行的2006年CP第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46267-5/pbk）。计算机科学课堂讲稿4204726-730（2006）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Houghton}等人，Lect。注释计算。科学。4204726-730（2006年；Zbl 1160.68550）
全文： 内政部
大卫·A·科恩。;马丁·J·格林。

类型化保护分解以满足约束。 （英文） Zbl 1160.68541号

Benhamou，Frédéric（编辑），约束编程的原则和实践–CP 2006。第12届国际会议，2006年9月25日至29日，法国南特，CP 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-4626-5/pbk）。计算机科学课堂讲稿4204122-136（2006）。
MSC公司：68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.A.科恩}和\textit{M.J.格林}，莱克特。注释计算。科学。4204122--136（2006年；Zbl 1160.68541）
全文： 内政部
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯（Peter G.Jeavons）。

值约束复杂性的代数特征。 （英文） Zbl 1160.68540号

Benhamou，Frédéric（编辑），约束编程的原则和实践–CP 2006。2006年9月25日至29日，在法国南特举行的2006年CP第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46267-5/pbk）。计算机科学课堂讲稿4204，107-121（2006）。
MSC公司：68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Cohen}等人，Lect。注释计算。科学。4204107-121（2006年；Zbl 1160.68540）
全文： 内政部
大卫·科恩;彼得·杰文斯;克里斯托弗·杰斐逊;凯伦·皮特里（Karen E.Petrie）。;芭芭拉·史密斯。

约束满足问题的对称定义。 （英文） Zbl 1153.68454号

van Beek，Peter（编辑），约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709，17-31（2005）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cohen}等人，Lect。注释计算。科学。3709，17-31（2005；Zbl 1153.68454）
全文： 内政部 链接
大卫·科恩;马丁·库珀;彼得·杰文斯

布尔约束优化问题复杂性的完整表征。 （英文） Zbl 1152.68549号

Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258212-226（2004）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cohen}等人，Lect。注释计算。科学。3258、212--226（2004；Zbl 1152.68549）
全文： 内政部
大卫·科恩;马丁·库珀;彼得·杰文斯;安德烈·克罗金

识别Max CSP的有效可解案例。 （英文） Zbl 1122.68589号

Diekert，Volker（编辑）等人，STACS 2004。2004年3月25日至27日，法国蒙彼利埃，第21届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21236-1/pbk）。计算机科学课堂讲稿2996152-163（2004）。
MSC公司：68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cohen}等人，Lect。注释计算。科学。2996152--163（2004年；Zbl 1122.68589）
全文： 内政部
大卫·A·科恩。

一类新的二进制CSP，其电弧一致性是一个决策过程。 （英文） Zbl 1273.68341号

Rossi，Francesca（编辑），约束编程的原理和实践——CP 2003。2003年9月29日至10月3日，第九届国际会议，CP 2003，爱尔兰金赛尔。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20202-1/pbk）。勒克特。注释计算。科学。2833, 807-811 (2003).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Cohen}，莱克特。注释计算。科学。2833807--811（2003年；Zbl 1273.68341）
全文： 内政部
马丁·J·格林。;大卫·A·科恩。

通过近似约束语言实现可牵引性。 （英文） Zbl 1273.68146号

Rossi，Francesca（编辑），约束编程的原理和实践–CP 2003。2003年9月29日至10月3日，第九届国际会议，CP 2003，爱尔兰金赛尔。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20202-1/pbk）。勒克特。注释计算。科学。2833, 392-406 (2003).
MSC公司：2017年第68季度 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.J.格林}和\textit{D.A.科恩}，莱克特。注释计算。科学。283392--406（2003年；Zbl 1273.68146）
全文： 内政部
大卫·A·科恩。;库珀，马丁;彼得·杰文斯;安德烈·克罗金

软约束：复杂性和多态性。 （英文） Zbl 1273.68342号

Rossi，Francesca（编辑），约束编程的原理和实践–CP 2003。2003年9月29日至10月3日，第九届国际会议，CP 2003，爱尔兰金赛尔。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20202-1/pbk）。勒克特。注释计算。科学。2833, 244-258 (2003).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Cohen}等人，Lect。注释计算。科学。2833244--258（2003年；Zbl 1273.68342）
全文： 内政部
大卫·科恩;彼得·杰文斯;理查德·高尔特

旧课改为新课。 （英文） Zbl 1044.68747号

Dechter，Rina（编辑），约束编程的原理和实践-CP 2000。第六届国际会议，新加坡，2000年9月18日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41053-8）。勒克特。注释计算。科学。1894, 160-171 (2000).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛D.Cohen｝等人，Lect。注释计算。科学。1894160-171（2000年；Zbl 1044.68747）
全文： 链接
彼得·杰文斯;大卫·科恩

可处理约束的代数特征。 （英文） 兹比尔1527.68213

杜定珠（编辑）等，《计算与组合学》。1995年8月24日至26日，第1届国际会议，COCOON’95，中国西安。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。959, 633-642 (1995).
MSC公司：68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.杰文斯}和\textit{D.科恩}，莱克特。注释计算。科学。959、633--642（1995年；Zbl 1527.68213）
全文： 内政部
彼得·杰文斯;大卫·科恩;马克·吉森

超图的结构分解。 （英文） Zbl 0814.05060号

Barcelo，Hélène（ed.）等人，《耶路撒冷组合学’93：组合学国际会议》，1993年5月9日至17日，以色列耶路撒冷。普罗维登斯，RI：美国数学学会。康斯坦普。数学。178, 161-177 (1994).
审核人：M.Middendorf（卡尔斯鲁厄）
MSC公司：05C65号 05C85号 第68页，共15页 05二氧化碳 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Jeavons}等人，康泰姆。数学。178161--177（1994年；Zbl 0814.05060）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件