×

找到111个文档（结果1-100）

最新的 引文 关联
曹一新

反馈顶点集的朴素算法。 （英语） 兹比尔1433.68283

Seidel，Raimund（编辑），第一届算法简单性研讨会。SOSA 2018，2018年1月7日至10日，美国洛杉矶新奥尔良，与第29届ACM-SIAM离散算法研讨会（SODA 2018）合办。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。61，第1条，第9页（2018年）。
MSC公司：68兰特 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{Y.Cao}，OASIcs--OpenAccess服务器。通知。61，第1条，第9页（2018；Zbl 1433.68283）
全文： 内政部 arXiv公司
弗拉基米尔·科尔莫戈罗夫；斯坦尼斯拉夫·伊文

保守值CSP的复杂性。 （英语） Zbl 1423.68215号

Rabani，Yuval（编辑），第23届ACM-SIAM离散算法年度研讨会论文集，SODA 2012，日本京都，2012年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。750-759 (2012).
MSC公司：65年第68季度 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{V.Kolmogorov}和\textit{S.ivn}，摘自：第23届ACM-SIAM离散算法年度研讨会论文集，SODA 2012，日本京都，2012年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。750-759（2012年；兹比尔1423.68215）
全文： 链接
伊斯梅尔·布里托；佩德罗·梅塞盖尔

通过添加同步点提高ABT性能。 （英语） Zbl 1162.68650号

Fages，François（编辑）等人，约束方面的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会，2007年CSCLP，法国罗克扬科特，2007年6月7日至8日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89811-5/pbk）。计算机科学课堂讲稿5129。人工智能课堂讲稿，47-61（2008）。
MSC公司：68T20型 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Brito和\textit{P.Meseguer}，莱克特。票据计算。科学。5129，47-61（2008年；兹比尔1162.68650）
全文： 内政部
迪尔基娜，比斯特拉；卡拉·戈麦斯。；阿什什·萨巴沃尔

后门检测复杂性的权衡。 （英语） Zbl 1145.68511号

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

约束满足。 （英语） 兹比尔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）
全文： 内政部
路易吉·波尔蒂纳

通过Petri网建模和求解约束满足问题。 （英语） Zbl 1510.68105号

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1248, 348-366 (1997).
MSC公司：68T20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Portinale}，莱克特。票据计算。科学。1248348-366（1997年；Zbl 1510.68105）
全文： 内政部
Krzysztof R.阿普特。

从混沌迭代到约束传播。 （英语） Zbl 1401.68282号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256，36-55（1997）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{K.R.Apt}，莱克特。票据计算。科学。1256，36-55（1997；Zbl 1401.68282）
全文： 内政部 链接
彼得·杰文斯；大卫·科恩

可处理约束的代数特征。 （英语） Zbl 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）
全文： 内政部
刘Hoong Chuin

通过局部搜索近似满足约束（扩展抽象）。 （英语） Zbl 1502.68275号

Akl，Selim G.（编辑）等人，《算法和数据结构》。1995年8月16日至18日，第四届国际研讨会，WADS’95，加拿大金斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。955, 461-472 (1995).
MSC公司：68T20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{H.C.Lau}，莱克特。票据计算。科学。955461-472（1995年；Zbl 1502.68275）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件