×

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

最新的 引文 关联
B.V.库普里扬诺夫。;拉扎列夫，A.A。

通过简化为约束满足问题来优化递归输送机。 （英语。俄语原件） Zbl 1481.90173号

自动。远程控制 82，第11期，1892-1906（2021）; Avtom翻译。Telemekh公司。2021年，第11期，75-93（2021年）。
MSC公司：90B35型 68T20型 91B32型 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.V.Kupriyanov}和\textit{A.A.Lazarev}，汽车。遥控器82，No.11，1892--1906（2021；Zbl 1481.90173）；Avtom翻译。Telemekh公司。2021年，第11号，75-93（2021年）
全文： 内政部
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯（Peter G.Jeavons）。;斯坦尼斯拉夫·伊文

模式的Galois连接：标记图的代数。 （英语） Zbl 1467.68176号

Cochez，Michael（编辑）等人，《知识表示和推理的图形结构》。第六届国际研讨会，GKR 2020，虚拟活动，2020年9月5日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12640, 125-150 (2021).
MSC公司：68立方英尺 05C78号 2015年1月6日 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Cohen}等人，Lect。注释计算。科学。12640、125-150（2021年；Zbl 1467.68176）
全文： 内政部
达尼尔·马克思

四个关于树宽惊人算法使用的短篇故事。 （英语） 兹伯利07604209

Fomin，Fedor V.（编辑）等人，《树宽、内核和算法》。在汉斯·博德兰德60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12160, 129-144 (2020).
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{D.马克思}，莱克特。注释计算。科学。12160、129--144（2020；Zbl 07604209）
全文： 内政部 arXiv公司
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯（Peter G.Jeavons）。;安德烈·克罗金;罗伯特·鲍威尔;斯坦尼斯拉夫·伊文

有值约束满足问题的二元化。 （英语） Zbl 1477.68121号

SIAM J.离散数学。 31，第4号，2279-2300（2017）.
MSC公司：65年第68季度 08A70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Cohen}等人，SIAM J.离散数学。31，第4号，2279--2300（2017；Zbl 1477.68121）
全文： 内政部 arXiv公司
萨米尔·卢德尼;马修·方丹;帕特里斯·博伊祖马尔

利用分离器引导VNS。 （英语） Zbl 1268.68152号

Sifaleras，Angelo（编辑）等人，关于可变邻域搜索的第28届欧洲小型会议（MEC XXVIII）论文集，Herceg Novi，Mentenegro，2012年10月4日至7日。阿姆斯特丹：爱思唯尔。离散数学电子笔记39，265-272（2012）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Loudni}等人，《电子》。注释离散数学。39、265--272（2012；Zbl 1268.68152）
全文： 内政部 哈尔
托比·沃尔什

参数化的复杂性会导致对称性破坏。 （英语） Zbl 1309.68104号

Raman，Venkatesh（编辑）等人，参数化和精确计算。2010年12月13日至15日在印度钦奈举行的2010年IPEC第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-17492-6/pbk）。计算机科学课堂讲稿6478，4-13（2010）。
MSC公司：65年第68季度 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{T.Walsh}，莱克特。注释计算。科学。6478，4-13（2010；Zbl 1309.68104）
全文： 内政部 arXiv公司
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。

约束满足的逻辑方法。 （英语） Zbl 1171.03322号

Creignou，Nadia（编辑）等人，《约束的复杂性》。当前研究主题概述。柏林：施普林格出版社（ISBN 978-3-540-92799-0/pbk）。计算机科学讲义5250，125-155（2008）。
MSC公司：03B70号 65年第68季度 第68页，共15页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。5250125-155（2008年；Zbl 1171.03322）
全文： 内政部
菲利普·杰古;桑巴·恩多伊·恩迪亚耶;Terrioux，西里尔

求解结构化CSP的启发式的动态管理。 （英语） Zbl 1145.68518号

Bessière，Christian（编辑），约束编程的原则和实践——CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。计算机科学课堂讲稿4741364-378（2007）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Jégou}等人，Lect。注释计算。科学。4741、364--378（2007年；Zbl 1145.68518）
全文： 内政部
尤金·弗洛伊德。;马克·华莱士

约束满足。 （英语） Zbl 1102.90379号

弗雷德·格洛弗（编辑）等人，《元启发式手册》。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-7263-5/hbk）。国际序号。操作。资源管理。科学。57, 405-428 (2003).
MSC公司：90 C59 68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\文本{E.C.弗洛伊德}和文本{M.华莱士}，国际Ser。操作。资源管理。科学。57405-428（2003年；兹比尔1102.90379）
全文： 内政部
尼克·D·登德里斯。;Lefteris M.基鲁西斯。;迪米特里斯·蒂利科斯（Dimitris M.Thilikos）。

基于图和相关参数的逃犯搜索游戏。 （英语） 兹比尔1530.05126

Mayr，Ernst W.（编辑）等人，《计算机科学中的图论概念》。第20届国际研讨会。1994年6月16日至18日，德国赫尔辛，工作组。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。903, 331-342 (1995).
MSC公司：05第57页 05C38号 05C12号 91A43型 91A24型
PDF格式BibTeX公司 XML格式引用
\textit{N.D.Dendris}等人，Lect。注释计算。科学。903、331--342（1995年；Zbl 1530.05126）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件