×

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

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

约束满足问题：是什么使问题变得简单。 （英语） 兹伯利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许可证
藤井秀一郎;尤尼岩马沙;木村，Kei

约束满足的量子方法。 （英语） Zbl 1530.18029号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372，289-305（2022）。
MSC公司：18N10型 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Fujii}等人，《电子》。程序。西奥。计算。科学。（EPTCS）372，289--305（2022；Zbl 1530.18029）
全文： arXiv公司 链接
A.V.斯米尔诺夫。;北卡罗来纳州沙普洛夫。;路易斯安那州维索茨基。

FIESTA5：数值高性能费曼积分评估。 （英语） Zbl 1522.81097号

计算。物理学。Commun公司。 277，文章ID 108386，16 p.（2022）.
MSC公司：80年第30季度 20号05 81层33 08A70型 65天30分 2008年8月
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Smirnov}等人，计算。物理学。Commun公司。277，文章ID 108386，16 p.（2022；Zbl 1522.81097）
全文： 内政部 arXiv公司
皮埃尔·吉利伯特;朱利叶斯·乔努沙斯;迈克尔·孔帕彻;安托万·莫特特;迈克尔·平斯克

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

SIAM J.计算。 51，编号2，175-213（2022）.
MSC公司：2015年第68季度 03C05号机组 03C35号 08A40号 08A70号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.Gillibert}等人，SIAM J.Compute。51，第2号，175--213（2022；Zbl 1483.68141）
全文： 内政部 arXiv公司
曼纽尔·博迪尔斯基;雅库布·里德瓦尔;安德烈·施罗特洛赫

通用Horn语句和联合嵌入属性。 （英语） Zbl 1529.03195号

离散数学。西奥。计算。科学。 23，第2号，第4号论文，第15页（2021年）.
MSC公司：03C13号机组 03天35分 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}等人，《离散数学》。西奥。计算。科学。23，第2号，第4号文件，第15页（2021；兹bl 1529.03195）
全文： 内政部 arXiv公司 链接
科内霍，M.尤金尼亚;杰苏斯·麦地那

右伴随代数与算子左剩余偏序集。 （英语） Zbl 1495.68223号

Ramanna，Sheela（编辑）等人，《粗糙集》。2021年9月19日至24日，斯洛伐克布拉迪斯拉发，IJCRS 2021国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12872, 180-191 (2021).
MSC公司：68层37 03B52号 03E72型 2011年1月6日 08A70号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Cornejo}和\textit{J.Medina}，莱克特。注释计算。科学。12872、180--191（2021年；Zbl 1495.68223）
全文： 内政部
A.马尼。

聚类分析的一般粗糙建模。 （英语） Zbl 1495.68229号

Ramanna，Sheela（编辑）等人，《粗糙集》。2021年9月19日至24日，斯洛伐克布拉迪斯拉发，IJCRS 2021国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12872, 75-82 (2021).
MSC公司：68层37 08A70号 62H30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Mani}，莱克特。注释计算。科学。12872，75-82（2021；Zbl 1495.68229）
全文： 内政部 arXiv公司
彼得·琼森;维克托·拉盖克维斯特;罗伊，比曼

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

ACM变速器。计算。理论 13，第1条，第2条，第32页（2021年）.
MSC公司：65年第68季度 08A70型 2015年第68季度 2017年第68季度 68年第27季度 68分20秒
PDF格式BibTeX公司 XML格式引用
\textit{P.Jonsson}等人，ACM Trans。计算。理论13，第1号，第2条，32页（2021；Zbl 1495.68101）
全文： 内政部 链接
豪尔赫·阿尔梅达;阿尔弗雷多·科斯塔

Profinite拓扑。 （英语） Zbl 1511.68176号

Pin，Jean-Éric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。615-652 (2021).
审核人：雅克·海诺（塔林）
MSC公司：70年第68季度 08A70号 20立方米 54时13分
PDF格式BibTeX公司 XML格式引用
\textit{J.Almeida}和\textit{A.Costa}，摘自：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。615--652（2021年；Zbl 1511.68176）
全文： 内政部 arXiv公司
V.V.科尼亚克。

有限量子力学中量子纠缠的动态模拟：计算机代数方法。 （英语。俄文原件） 兹比尔1473.81043

程序。计算。柔和。 47，第2期，124-132（2021）; 译自Programmirovanie 47，No.2，34-43（2021）。
MSC公司：81页40页 68瓦30 08A70号 81兰特 22E70型
PDF格式BibTeX公司 XML格式引用
\textit{V.Kornyak}，程序。计算。柔和。47，第2号，124--132（2021；Zbl 1473.81043）；译自Programmirovanie 47，No.2，34-43（2021）
全文： 内政部
曼纽尔·博迪尔斯基

无限域约束满足的复杂性。 （英语） Zbl 1495.68007号

逻辑课堂笔记52.剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（ISBN 978-1-107-04284-1/hbk；978-1-107-23753-4/电子书）。xii，第524页。(2021).
审核人：Mark S.Burgin（洛杉矶）
MSC公司：68-02 03C35号 03C98号 10年5月 08A70号 65年第68季度 68卢比 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bodirsky｝，无限域约束满足的复杂性。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（2021；Zbl 1495.68007）
全文： 内政部
曼纽尔·博迪尔斯基;安托万·莫特特;米罗斯拉夫·奥尔沙克;雅库布·奥普沙尔;迈克尔·平斯克;罗斯·威拉德

\（\omega\）-避免高度1恒等式的分类结构。 （英语） Zbl 1472.08006号

事务处理。美国数学。Soc公司。 374，编号1，327-350（2021）.
审核人：基思·卡恩斯（博尔德）
MSC公司：08B05号 03C05号机组 08A70号 03C10号机组 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}等人，翻译。美国数学。Soc.374，No.1，327--350（2021；Zbl 1472.08006）
全文： 内政部 arXiv公司
米盖尔·库塞罗;埃尔科·莱顿;罗兰·米克莱特;亨利·普拉德;理查德·吉尔斯

当标称类比比例不失效时。 （英语） Zbl 1517.68352号

Davis，Jesse（编辑）等人，《可扩展不确定性管理》。第14届国际会议，SUM 2020，意大利博赞-波尔扎诺，2020年9月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12322, 68-83 (2020).
MSC公司：68T27型 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Couceiro}等人，Lect。注释计算。科学。12322，68-83（2020年；兹比尔1517.68352）
全文： 内政部 哈尔
米查·罗纳

关于有限有界严格宽度齐次二元核的一阶展开式的关系宽度。 （英语） Zbl 1498.03071号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。958-971 (2020).
MSC公司：03C13号机组 03C05号机组 08A70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Wrona}，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。958-971（2020年；Zbl 1498.03071）
全文： 内政部 arXiv公司
曼纽尔·博迪尔斯基;维德州帕库萨;雅库布·里德瓦尔

定点逻辑中的时间约束满足问题。 （英语） Zbl 1498.08003号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。237-251 (2020).
MSC公司：08A70号 03B70号 08A40号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}等人，《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。237--251（2020；Zbl 1498.08003）
全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。;亚斯敏·沙罗达

利用理论陈述中包含的信息。 （英语） Zbl 1455.68255号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236，55-70（2020）。
MSC公司：68V20型 08A70号 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}等人，Lect。注释计算。科学。12236，55-70（2020；Zbl 1455.68255）
全文： 内政部 arXiv公司
乔舒亚·布拉肯西克;文凯特桑·古鲁斯瓦米;马钦·罗奇纳;斯坦尼斯拉夫·伊文

结合基本线性规划和仿射松弛对承诺约束满足问题的功效。 （英语） Zbl 1496.68255号

SIAM J.计算。 49，第6期，1232-1248（2020）.
MSC公司：68兰特 03B70号 08A70号 65年第68季度 68周25 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{J.Brakensiek}等人，SIAM J.Compute。49，第6号，1232--1248（2020；Zbl 1496.68255）
全文： 内政部 arXiv公司
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔

结合性公理和交换性公理的同胚嵌入模组合。 （英语） Zbl 1524.68068号

弗雷德·梅斯纳德（编辑）等，基于逻辑的程序合成和转换。2018年9月4日至6日，第28届国际研讨会，2018年LOPSTR，德国法兰克福/梅因。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11408, 38-55 (2019).
MSC公司：68号30 03B70号 08A70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{M.Alpuente}等人，Lect。注释计算。科学。11408、38-55（2019年；Zbl 1524.68068）
全文： 内政部 arXiv公司
安德烈·布拉托夫。;斯坦尼斯拉夫·伊文

从另一侧看到的近似计数CSP。 （英语） Zbl 1499.68238号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第60条，第14页（2019年）。
MSC公司：68兰特 08A70号 65年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Bulatov｝和\textit｛S.živný。通知。138，第60条，第14页（2019年；Zbl 1499.68238）
全文： 内政部 arXiv公司
布里塞诺、雷蒙多;安德烈·布拉托夫。;维克托·达尔摩;Larose，贝诺？t

关系结构中的可拆卸性、连通性和混合性。 （英语） 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年）。
MSC公司：08A70号 05C90年 60摄氏度05 87年第68季度 82B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Briceño}等人，LIPIcs——莱布尼茨国际程序。通知。132，第29条，第15页（2019年；Zbl 1503.08001）
全文： 内政部
尤金妮亚·特诺夫斯卡

模块化系统代数：静态和动态视角。 （英语） Zbl 1435.68203号

Herzig，Andreas（编辑）等人，《组合系统的前沿》。2019年9月4日至6日，第十二届国际研讨会，FroCoS 2019，英国伦敦。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11715, 94-111 (2019).
MSC公司：60年第68季度 03B70号 08A70型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{E.Ternovska}，莱克特。注释计算。科学。11715、94-111（2019年；Zbl 1435.68203）
全文： 内政部
利波·巴托

承诺约束满足问题的代数理论，第一步。 （英语） Zbl 07160823号

Gąsieniec，Leszek Antoni（编辑）等人，《计算理论基础》。2019年FCT第22届国际研讨会，丹麦哥本哈根，2019年8月12-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11651, 3-17 (2019).
MSC公司：65年第68季度 08A70号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Barto}，莱克特。注释计算。科学。11651，3-17（2019；Zbl 07160823）
全文： 内政部 arXiv公司
马西耶·皮罗格;彼得·波列修克;菲利普·西奇科夫斯基

等式理论和多项式Cayley表示的单子。 （英语） 兹比尔1524.68061

Bojañczyk，Mikołaj（编辑）等人，《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11425, 453-469 (2019).
MSC公司：68甲18 03B40型 08A70号 08B05号
PDF格式BibTeX公司 XML格式引用
\textit{M.Piróg}等人，Lect。注释计算。科学。11425、453--469（2019年；Zbl 1524.68061）
全文： 内政部
阿米娜·杜马内;丹尼斯·库珀伯格;Damien Pous;皮埃尔·普拉迪奇

带有假设的克莱恩代数。 （英语） Zbl 1524.68201号

Bojañczyk，Mikołaj（编辑）等人，《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11425, 207-223 (2019).
MSC公司：70年第68季度 03B25号 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Doumane｝等人，Lect。注释计算。科学。11425、207--223（2019年；Zbl 1524.68201）
全文： 内政部
查理·墨菲;扎卡里·金凯德

一种实用的结构嵌入算法。 （英语） Zbl 1522.68725号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11388, 342-362 (2019).
MSC公司：68周05 08A70号 60年第68季度 68兰特 68分20秒
PDF格式BibTeX公司 XML格式引用
\textit{C.Murphy}和\textit{Z.Kincaid}，莱克特。注释计算。科学。11388、342--362（2019年；Zbl 1522.68725）
全文： 内政部
E.阿拉多瓦。;Plotkin，T。

知识库中的语法与语义。二、。 （英语） Zbl 1528.68366号

Plotkin，Eugene（编辑），群，代数和恒等式。以色列科学基金会“群、代数和恒等式”研究研讨会。2016年3月20日至24日，以色列巴伊兰大学和耶路撒冷希伯来大学为纪念Boris Plotkin 90岁生日。普罗维登斯，RI：美国数学学会（AMS）；Ramat Gan：巴伊兰大学。康斯坦普。数学。726, 87-98 (2019).
MSC公司：68立方英尺 08A70号 68层35
PDF格式BibTeX公司 XML格式引用
\textit{E.Aladova}和\textit{T.Plotkin}，康特姆。数学。726、87-98（2019年；Zbl 1528.68366）
全文： 内政部
乔舒亚·布拉肯西克;文凯特桑·古鲁斯瓦米

用于承诺CSP的LP和环方程的算法混合。 （英语） 兹比尔1431.68043

Chan，Timothy M.（编辑），《第30届ACM-SIAM离散算法年度研讨会论文集》，2019年1月6日至9日，美国加利福尼亚州圣地亚哥，SODA 2019。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。436-455 (2019).
MSC公司：65年第68季度 08A70号 68周05 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{J.Brakensiek}和\textit{V.Guruswami}，in：第30届ACM-SIAM离散算法年会论文集，2019年SODA 2019，美国加利福尼亚州圣地亚哥，2019月6-9日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。436--455（2019年；Zbl 1431.68043）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件