×

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

最新的 引文 关联
德米特里·朱克

约束满足问题：是什么使问题变得简单。 （英语） Zbl 07823032号

Beliaev，Dmitry（编辑）等人，《2022年国际数学家大会》，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第3卷。第1-4节。柏林：欧洲数学学会（EMS）。1530-1552 (2023).
MSC公司：03B70号 08A70号 2017年第68季度 2015年3月1日 68T27型 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Zhuk}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第3卷。第1-4节。柏林：欧洲数学学会（EMS）。1530--1552（2023；Zbl 07823032）
全文： 内政部
OA许可证
阿列克谢·巴苏科夫；弗洛伦特·马德琳。

关于MMSNP的保护扩展。 （英语） Zbl 07787582号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 202-213 (2023).
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Barsukov}和\textit{F.R.Madelaine}，莱克特。注释计算。科学。13967202-213（2023；Zbl 07787582）
全文： 内政部 arXiv公司
卡维·凯什米里·扎德；法特梅·哈塞吉；马赫布贝·萨德格普尔（Mahboubeh Sadeghpour）；穆罕默德·莫拉尼·阿格达姆

设计一个不确定条件下分销中心中断的多螯合闭环供应链。 （英语） Zbl 1524.90094号

J.工业管理。最佳方案。 19，第4期，2582-2615（2023）.
MSC公司：90B06型 90B05型 90C29型 90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
\文本{K.K.Zadeh}等人，J.Ind.Manag。最佳方案。19，第4号，2582--2615（2023；Zbl 1524.90094）
全文： 内政部
卡塔里娜·卡瓦略；弗洛伦特·玛德琳；巴纳比·马丁；德米特里·朱克

量化约束的复杂性：可折叠性、可切换性和代数公式。 （英语） Zbl 07650601号

ACM事务处理。计算。日志。 24，第1号，第5号文件，第26页（2023）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{C.Carvalho}等人，ACM Trans。计算。日志。24，第1号，第5号论文，第26页（2023年；Zbl 07650601）
全文： 内政部 arXiv公司 链接
施耐德、弗里德里希·马丁；维奥拉、卡特琳娜

Farkas引理在无穷域上有限值约束满足问题中的应用。 （英语） Zbl 07590528号

数学杂志。分析。申请。 517，第1号，文章ID 126591，第22页（2023）.
MSC公司：68季度xx 90立方厘米 08轴
PDF格式BibTeX公司 XML格式引用
\textit｛F.M.Schneider｝和\textit｛C.Viola｝，J.Math。分析。申请。517，第1号，文章ID 126591，22页（2023；Zbl 07590528）
全文： 内政部 arXiv公司
Lee，Euiwoong先生；Suprovat Ghoshal公司

偏置CSP的近似性特征。 （英语） Zbl 07774394号

Leonardi，Stefano（ed.）等人，《第54届ACM SIGACT计算理论研讨会论文集》，STOC’22，罗马，意大利，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。989-997 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Lee}和\textit{S.Ghoshal}，in：第54届ACM SIGACT计算理论研讨会论文集，STOC’22，罗马，意大利，2022年6月20-24日。纽约州纽约市：计算机协会（ACM）。989-997（2022；Zbl 07774394）
全文： 内政部 arXiv公司
阿梅·邦格尔；Khot，Subhash公司；多尔·明泽

关于可满足\（k\）-CSP的逼近性。一、。 （英语） Zbl 07774393号

Leonardi，Stefano（ed.）等人，《第54届ACM SIGACT计算理论研讨会论文集》，STOC’22，罗马，意大利，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。976-988 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Bhangale}等人，in：第54届ACM SIGACT计算理论年会论文集，STOC’22，罗马，意大利，2022年6月20-24日。纽约州纽约市：计算机协会（ACM）。976-988（2022；Zbl 07774393）
全文： 内政部
安德烈·布拉托夫（Andrei A.Bulatov）。；阿克巴·拉菲

基于CSP的理想成员问题的复杂性。 （英语） Zbl 07774351号

Leonardi，Stefano（ed.）等人，《第54届ACM SIGACT计算理论研讨会论文集》，STOC’22，罗马，意大利，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。436-449 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛A.Bulatov｝和\textit｛A.Rafiey｝，载于：第54届ACM SIGACT计算理论年度研讨会论文集，STOC’22，意大利罗马，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。436--449（2022；Zbl 07774351）
全文： 内政部 arXiv公司
周志宁；亚历山大·戈洛夫涅夫；苏丹，马杜；阿梅亚·维林克；韦卢萨米，桑托希尼

近似CSP的线性空间流下限。 （英语） Zbl 07774339号

Leonardi，Stefano（ed.）等人，《第54届ACM SIGACT计算理论研讨会论文集》，STOC’22，罗马，意大利，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。275-288 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.-N.Chou}等人，in：第54届ACM SIGACT计算理论年会论文集，STOC’22，罗马，意大利，2022年6月20-24日。纽约州纽约市：计算机协会（ACM）。275--288（2022年；Zbl 07774339）
全文： 内政部 arXiv公司
阿巴斯·扎德（Abbasi-Zadeh，Sepehr）；尼基尔·班萨尔；古鲁加内什，古鲁；亚历克桑达尔·尼科洛夫；罗伊·施瓦茨；辛格，莫希特

粘性布朗舍入及其在约束满足问题中的应用。 （英语） Zbl 07758427号

ACM事务处理。算法 18，第4号，第33号论文，50页（2022年）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{S.Abbasi-Zadeh}等人，ACM翻译。算法18，第4号，论文33，50页（2022；Zbl 07758427）
全文： 内政部
Farajzadeh Devin，M.G。；侯赛尼·萨尼，S.K。

用于工业应用的具有改进管的双回路鲁棒模型预测控制。 （英语） Zbl 1525.93083号

国际期刊系统。科学。，普林克。申请。系统。集成。 53，第15号，3242-3253（2022）.
审核人：金亮（上海）
MSC公司：93B45码 93B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Farajzadeh Devin}和\textit{S.K.Hosseini Sani}，国际期刊系统。科学。，普林克。申请。系统。集成。53，编号15，3242--3253（2022；Zbl 1525.93083）
全文： 内政部
格德罗巴里（Gerdrodbari，Maedeh Agahgolnezhad）；法特梅·哈塞吉；马赫布贝·萨德格普尔（Mahboubeh Sadeghpour）；穆罕默德·莫拉尼·阿格达姆

在绿色闭环供应链中管理易腐产品分销的稳健多目标模型。 （英语） Zbl 1513.91042号

J.工业管理。最佳方案。 18，第5号，3155-3186（2022）.
MSC公司：91B60型
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Gerdrodbari}等人，J.Ind.Manag。最佳方案。18，编号5，3155--3186（2022；Zbl 1513.91042）
全文： 内政部
皮埃尔·吉利伯特；朱利叶斯·乔努沙斯；迈克尔·孔帕彻；安托万·莫特特；迈克尔·平斯克

当对称性不够时：硬约束满足问题的层次结构。 （英语） Zbl 1483.68141号

SIAM J.计算。 51，编号2，175-213（2022）.
MSC公司：2015年第68季度 05年3月 03C35号 08A40号 08A70号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.Gillibert}等人，SIAM J.Compute。51，第2号，175--213（2022；Zbl 1483.68141）
全文： 内政部 arXiv公司
李世波；多米尼克·舍德

住院患者PPSZ–CSP的更快算法。 （英语） Zbl 07788606号

Ahn，Hee-Kap（编辑）等人，第32届算法与计算国际研讨会，ISAAC 2021，日本福冈，2021年12月6日至8日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。212，第33条，第20页（2021）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Li}和\textit{D.Scheder}，LIPIcs——莱布尼茨国际程序。通知。212，第33条，第20页（2021；Zbl 07788606）
全文： 内政部 arXiv公司
Saber Yaghoobi；萨米·法达利

利用卷积神经网络和黑洞优化通过约束满足进行控制系统设计。 （英语） 兹比尔07770859

Gusikhin，Oleg（编辑）等人，ICINCO 2021。第18届控制、自动化和机器人信息学国际会议论文集，虚拟，2021年7月6日至8日。塞图巴尔：SCITEPRESS–科技出版物。232-239 (2021).
MSC公司：93B52号 93二氧化碳 93立方厘米 68T07型 68瓦50
PDF格式BibTeX公司 XML格式引用
\textit{S.Yaghoobi}和\textit{M.S.Fadali}，收录于：ICINCO 2021。第18届控制、自动化和机器人信息学国际会议论文集，虚拟，2021年7月6-8日。塞图巴尔：SCITEPRESS——科学技术出版物。232-239（2021；Zbl 07770859）
全文： 内政部
歌手，诺亚；苏丹，马杜；桑托什尼·维卢萨米

每阶CSP的流近似电阻。 （英语） Zbl 07768362号

Mary Wootters（编辑）等人，《近似、随机化和组合优化》。算法和技术。2021年8月16日至18日，美国华盛顿州西雅图华盛顿大学第24届国际会议（约2021年）和第25届国际会议，RANDOM 2021（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。207，第17条，第19页（2021年）。
MSC公司：68瓦20 68周25 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Singer}等人，LIPIcs——莱布尼茨国际程序。通知。207，第17条，第19页（2021；Zbl 07768362）
全文： 内政部 arXiv公司
阿梅·邦格尔；Khot，Subhash公司

非交换群上可满足的（k）-LIN的最优不可逼近性。 （英语） Zbl 07765274号

Khuller，Samir（编辑）等人，第53届ACM SIGACT计算理论年度研讨会论文集，STOC’21，虚拟，意大利，2021年6月21日至25日。纽约州纽约市：计算机协会（ACM）。1615-1628 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Bhangale}和\textit{S.Khot}，in：第53届ACM SIGACT计算理论研讨会论文集，STOC’21，虚拟，意大利，2021年6月21日至25日。纽约州纽约市：计算机协会（ACM）。1615--1628（2021；Zbl 07765274）
全文： 内政部 arXiv公司
冯伟明；何坤；尹，伊通

局部引理区域中的抽样约束满足解。 （英语） Zbl 07765270号

Khuller，Samir（ed.）等人，第53届ACM SIGACT计算理论年度研讨会论文集，STOC’21，虚拟，意大利，2021年6月21-25日。纽约州纽约市：计算机协会（ACM）。1565-1578 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{W.Feng}等人，in：第53届ACM SIGACT计算理论研讨会论文集，STOC’21，虚拟，意大利，2021年6月21-25日。纽约州纽约市：计算机协会（ACM）。1565--1578（2021；Zbl 07765270）
全文： 内政部 arXiv公司
Larose，贝诺？t；佩塔·马尔科维奇；巴纳比·马丁；丹尼尔·保卢斯马；西亚尼·史密斯；斯坦尼斯拉夫·伊文

反身锦标赛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格式引用
\textit{B.Larose}等人，LIPIcs——莱布尼茨国际程序。通知。204，第58条，第15页（2021；Zbl 07740913）
全文： 内政部 arXiv公司
Bart M.P.Jansen。；罗伊，希维什·K。；Włodarczyk，Micha

关于压缩砝码的硬度。 （英语） Zbl 07724237号

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第64条，第21页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.M.P.Jansen}等人，LIPIcs——莱布尼茨国际程序。通知。202，第64条，第21页（2021；Zbl 07724237）
全文： 内政部 arXiv公司
西尔维娅·布蒂；维克托·达尔摩

约束满足问题的分数同态、Weisfeiler-Leman不变性和Sherali-Adams层次结构。 （英语） Zbl 07724200号

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第27条，第19页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Butti}和\textit{V.Dalmau}，LIPIcs——莱布尼茨国际程序。通知。202，第27条，第19页（2021；Zbl 07724200）
全文： 内政部 arXiv公司
阿皮塔·巴拉蒂（Arpitha P.Bharathi）。；莫纳尔多·马斯特罗利利

布尔少数和对偶鉴别器的理想隶属度问题。 （英语） Zbl 07724189号

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第16条，第20页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Bharathi}和\textit{M.Mastrolilli}，LIPIcs——莱布尼茨国际程序。通知。202，第16条，第20页（2021；Zbl 07724189）
全文： 内政部
克里斯蒂娜·阿西米；利波·巴托

有限可处理的承诺约束满足问题。 （英语） Zbl 07724184号

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第11条，第16页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Asimi}和\textit{L.Barto}，LIPIcs——莱布尼茨国际程序。通知。202，第11条，第16页（2021；Zbl 07724184）
全文： 内政部 arXiv公司
安德烈·伊格纳托夫；米哈伊尔·波西普金

加快（H）核心蛋白拟合的技术。 （英语） Zbl 1522.92043号

Olenev，Nicholas N.（编辑）等人，《优化与应用》。2021年9月27日至10月1日，第12届国际会议，OPTIMA 2021，黑山佩特洛瓦茨。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13078, 336-350 (2021).
MSC公司：92D20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ignatov}和\textit{M.Posypkin}，莱克特。注释计算。科学。13078，336--350（2021；Zbl 1522.92043）
全文： 内政部
曼纽尔·博迪尔斯基；马塞洛·马米诺；维奥拉、卡特琳娜

分段线性值CSP可通过线性规划松弛求解。 （英语） Zbl 1508.68129号

ACM事务处理。计算。日志。 23，第1号，第7条，第35页（2021年）.
MSC公司：65年第68季度 90C05（二氧化碳） 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}等人，《美国医学杂志》。计算。日志。23，第1号，第7条，第35页（2021年；Zbl 1508.68129）
全文： 内政部 arXiv公司
哈维·格林伯格。；Jean-Paul Watson先生；大卫·L·伍德拉夫。

具有一次机会约束的参数随机规划：从响应空间分析中获得见解。 （英语） Zbl 1505.90086号

Allen Holder（编辑），Harvey J.Greenberg，《传统的桥接运筹学和计算》。查姆：斯普林格。国际序号。操作。资源管理。科学。295, 99-124 (2021).
MSC公司：90立方厘米 90立方31
PDF格式BibTeX公司 XML格式引用
\textit{H.J.Greenberg}等人，国际期刊。操作。资源管理。科学。295，99-124（2021；Zbl 1505.90086）
全文： 内政部
彼得·琼森；维克托·拉盖克维斯特；罗伊，比曼

约束满足问题的细粒度时间复杂性。 （英语） Zbl 1495.68101号

ACM事务处理。计算。理论 13，第1号，第2条，第32页（2021）.
MSC公司：65年第68季度 08A70号 2015年第68季度 2017年第68季度 68年第27季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Jonsson}等人，ACM Trans。计算。理论13，第1号，第2条，第32页（2021；兹bl 1495.68101）
全文： 内政部 链接
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年）
全文： 内政部
曼纽尔·博迪尔斯基；马塞洛·马米诺；维奥拉、卡特琳娜

变量数固定的分段线性值约束满足问题。 （英语） Zbl 1481.90270号

Gentile，Claudio（编辑）等人，图与组合优化：从理论到应用。第18届科隆-温特图形与组合优化研讨会（CTW2020）会议记录，在线，2020年9月14日至16日。查姆：斯普林格。AIRO Springer系列。5, 265-276 (2021).
MSC公司：90C27型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}等人，AIRO Springer Ser。2265-276（2021年；兹比尔1481.90270）
全文： 内政部 arXiv公司
Franz巴德；雅库布·里德瓦尔

轻量级描述逻辑中p-容许具体域的代数观点。 （英语） Zbl 07437042号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 194-209 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Baader}和\textit{J.Rydval}，莱克特。注释计算。科学。12678、194-209（2021；Zbl 07437042）
全文： 内政部
大卫·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）
全文： 内政部
Farajzadeh-D.、Mohammad-G。；萨尼，S.K.侯赛尼

针对非线性鲁棒参考跟踪，提出了一种改进的双回路模型预测控制设计，具有实用优势。 （英语） Zbl 1469.93021号

最佳方案。控制应用程序。方法 42，第2期，548-565（2021）.
MSC公司：93B45码 93立方厘米 93B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.-G.Farajzadeh-D.}和\textit{S.K.H.Sani}，Optim。控制应用程序。方法42，No.2，548--565（2021；Zbl 1469.93021）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件