×

发现28份文件（结果1-28）

最新的 引文 关联
维克托·达尔摩;马钦·科齐克;安德烈·克罗金;康斯坦丁·马卡里切夫;尤里·马卡里切夫;雅库布·奥普沙尔

近一致CSP的多项式损失鲁棒算法。 （英语） Zbl 1452.68087号

SIAM J.计算。 48，第6期，1763-1795（2019）.
MSC公司：65年第68季度 2017年第68季度 68T20型 68瓦20 68周25 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{V.Dalmau}等人，SIAM J.Compute。48，第6号，1763-1795（2019；Zbl 1452.68087）
全文： 内政部 arXiv公司
维克托·达尔摩;马钦·科齐克;安德烈·克罗金;康斯坦丁·马卡里切夫;尤里·马卡里切夫;雅库布·奥普沙尔

具有多项式损失的近似一致CSP的鲁棒算法。 （英语） Zbl 1410.68162号

Klein，Philip N.（编辑），第28届ACM-SIAM离散算法年度研讨会论文集，2017年SODA，西班牙巴塞罗那，2017年1月16-19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。340-357 (2017).
MSC公司：65年第68季度 2017年第68季度 68T20型 68瓦20 68周25 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{V.Dalmau}等人，in：第28届年度ACM-SIAM离散算法研讨会论文集，2017年SODA，西班牙巴塞罗那，2017年1月16-19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。340-357（2017；Zbl 1410.68162）
全文： 内政部
安德烈·克罗金

约束满足的树二元论。 （英语） 兹比尔1287.68156

Dawar，Anuj（编辑）等人，《计算机科学逻辑》。第24届国际研讨会，CSL 2010，EACSL第19届年会，2010年8月23日至27日，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿6247，32-33（2010）。
MSC公司：68T20型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Krokhin}，莱克特。注释计算。科学。6247、32-33（2010年；Zbl 1287.68156）
全文： 内政部
安德烈·克罗金;达尼尔·马克思

关于减肥的难度。 （英语） Zbl 1153.68382号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。会议记录，第一部分，柏林：施普林格出版社（ISBN 978-3-540-70574-1/pbk）。计算机科学课堂讲稿5125662-673（2008）。
MSC公司：2017年第68季度 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Krokhin｝和\textit｛D.Marx｝，Lect。注释计算。科学。5125662-673（2008年；Zbl 1153.68382）
全文： 内政部 arXiv公司
彼得·琼森;安德烈·克罗金;弗雷德里克·库维宁

排除硬约束满足问题的多项式时间近似方案。 （英语） Zbl 1188.68153号

Diekert，Volker（编辑）等人，《计算机科学——理论与应用》。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74509-9/pbk）。计算机科学课堂讲稿4649182-193（2007）。
MSC公司：2017年第68季度 65年第68季度 68T20型 68周25
PDF格式BibTeX公司 XML格式引用
\textit{P.Jonsson}等人，Lect。注释计算。科学。4649182-193（2007年；兹比尔1188.68153）
全文： 内政部
安德烈·克罗金;Larose，Benoit公司

钻石的最大约束满足。 （英语） Zbl 1153.68469号

van Beek，Peter（编辑），约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709388-402（2005）。
MSC公司：68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Krokhin}和\textit{B.Larose}，莱克特。注释计算。科学。3709388--402（2005年；Zbl 1153.68469）
全文： 内政部
安德烈·克罗金;安德烈·布拉托夫;彼得·杰文斯

约束满足的复杂性：代数方法。 （英语） Zbl 1087.68107号

Kudryavtsev，Valery B.等人，自动机、半群和泛代数的结构理论。《北约高级研究所会议记录》，加拿大魁北克省蒙特利尔，2003年7月7日至18日。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-3815-1/hbk；1-4020-2817-8/电子书）。北约科学系列II：数学、物理和化学207181-213（2005）。
MSC公司：68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Krokhin}等人，《北约科学》。序列号。二、 数学。物理学。化学。207、181--213（2005；Zbl 1087.68107）
大卫·科恩;马丁·库珀;彼得·杰文斯;安德烈·克罗金

识别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·科恩。;马丁·库珀;彼得·杰文斯;安德烈·克罗金

软约束：复杂性和多态性。 （英语） 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 1116.03314号

Baaz，Matthias（编辑）等人，《计算机科学逻辑》。2003年8月25日至30日，第17届CSL国际研讨会，第12届EACSL年会，KGC 2003年第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40801-0/pbk）。勒克特。注释计算。科学。2803, 58-70 (2003).
MSC公司：03B70号 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Börner}等人，Lect。注释计算。科学。2803、58-70（2003年；Zbl 1116.03314）
全文： 内政部
安德烈·克罗钦;Larose，Benoit公司

求解对数空间中的顺序约束。 （英语） Zbl 1035.68111号

Alt，Helmut（编辑）等人，STACS 2003。2003年2月27日至3月1日，德国柏林，第20届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00623-0/pbk）。勒克特。注释计算。科学。2607, 379-390 (2003).
MSC公司：68T20型 65年第68季度 06A07年
PDF格式BibTeX公司 XML格式引用
\textit{A.Krokhin}和\textit{B.Larose}，莱克特。注释计算。科学。2607379-390（2003年；Zbl 1035.68111）
全文： 链接
安德烈·克罗金;彼得·杰文斯;彼得·琼森

间隔和长度约束的复杂性。 （英语） Zbl 1054.68139号

Alt，Helmut（编辑）等人，STACS 2002。第19届计算机科学理论方面年度研讨会。2002年3月14日至16日，法国安提布斯-胡安莱斯·平斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43283-3）。勒克特。注释计算。科学。2285, 443-454 (2002).
MSC公司：68T20型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Krokhin}等人，莱克特。注释计算。科学。2285443--454（2002年；Zbl 1054.68139）
全文： 链接
安德烈·布拉托夫;安德烈·克罗金;彼得·杰文斯

最大约束语言的复杂性。 （英语） Zbl 1323.68294号

2001年STOC第三十三届ACM计算理论年会论文集。2001年7月6日至8日，希腊克里特岛赫索尼索斯。纽约州纽约市：ACM出版社（ISBN 1-581-13349-9）。667-674 (2001).
MSC公司：2017年第68季度 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bulatov}等人，in：第三十三届ACM计算理论年会论文集，STOC 2001。赫尔索尼索斯，克里特岛，希腊，2001年7月6-8日。纽约州纽约市：ACM出版社。667--674（2001年；Zbl 1323.68294）
全文： 内政部
安德烈·布拉托夫（Andrei A.Bulatov）。;安德烈·克鲁金（Andrei A.Krokhin）。;彼得·杰文斯

约束满足问题和有限代数。 （英语） Zbl 0973.68181号

Montanari，Ugo（编辑）等人，自动机，语言和编程。第27届国际学术讨论会，ICALP 2000，瑞士日内瓦，2000年7月9日至15日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1853, 272-282 (2000).
MSC公司：68卢比 68T20型 08A40号
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Bulatov}等人，Lect。注释计算。科学。1853、272--282（2000年；Zbl 0973.68181）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段