×

找到30个文档(结果1-30)

关于由单调模式定义的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格式引用

值约束复杂性的代数特征。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔约束优化问题复杂性的完整表征。 (英语) Zbl 1152.68549号

Wallace,Mark(编辑),约束编程的原理和实践–CP 2004。2004年9月27日至10月1日,加拿大多伦多,第十届国际会议,2004年CP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-23241-4/pbk)。计算机科学课堂讲稿3258212-226(2004)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

识别Max CSP的有效可解案例。 (英语) Zbl 1122.68589号

Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996152-163(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

软约束:复杂性和多态性。 (英语) 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格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份