×

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

反身锦标赛QCSP。 (英语) Zbl 07740913号

Mutzel,Petra(编辑)等人,第29届欧洲算法年会。欧空局2021,葡萄牙里斯本(虚拟会议),2021年9月6日至8日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。204,第58条,第15页(2021年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

关系结构中的可拆卸性、连通性和混合性。 (英语) Zbl 1503.08001号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第29条,第15页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Surjective公司小时-在自反有向图上着色。 (英语) Zbl 1485.68191号

Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第49条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数与有向图CSP的复杂性:综述。 (英语) Zbl 1482.68166号

Krokhin,Andrei(编辑)等人,《约束满足问题:复杂性和近似性》,Dagstuhl研讨会153012015年7月。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7,267-285(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束满足问题的对偶性。 (英语) Zbl 1171.68494号

Creignou,Nadia(编辑)等人,《约束的复杂性》。当前研究主题概述。柏林:施普林格出版社(ISBN 978-3-540-92799-0/pbk)。计算机科学讲稿525093-124(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超图、置换群和CSP的着色。 (英语) Zbl 1138.05025号

安德烈塔(Andretta)、亚历山德罗(Alessandro)等,《2004年逻辑学术讨论会》。2004年7月25日至31日,意大利都灵,符号逻辑协会(ASL)欧洲夏季年会会议记录。剑桥:剑桥大学出版社;伊利诺伊州乌尔班纳:符号逻辑协会(ISBN 978-0-521-88424-2/hbk)。逻辑课堂讲稿29,93-108(2008)。
PDF格式BibTeX公司 XML格式引用

约束满足问题的泛代数和硬度结果。 (英语) Zbl 1171.68731号

Arge,Lars(编辑)等人,《自动化,语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会,ICALP 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73419-2/pbk)。计算机科学课堂讲稿4596267-278(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限半群上的方程组和#CSP二分法猜想。 (英语) Zbl 1132.68424号

Králović,Rastislav(编辑)等人,《2006年计算机科学的数学基础》。2006年8月28日至9月1日在斯洛伐克斯塔拉莱斯纳举行的2006年MFCS第31届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37791-3/pbk)。《计算机科学讲义》4162584-595(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份