阿尔伯特·武卡吉;德米特里·朱克 在设置为次等价的三元素上的次极大克隆。 (英语) Zbl 07828210号 代数大学。 85,第2号,第22号文件,第31页(2024年).MSC公司:03B50号 08A70号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vucaj}和\textit{D.Zhuk},代数大学。85,第2号,第22号论文,第31页(2024;Zbl 07828210) 全文: 内政部 arXiv公司 OA许可证
德米特里·朱克 约束满足问题:是什么使问题变得简单。 (英语) 兹伯利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许可证
汤森Kumduang;索拉萨克Leeratanavalee 带有固定变量的部分多列项代数和公式算数。 (英语) Zbl 07781230号 讨论。数学。,生成代数应用。 43,第2期,339-362(2023).MSC公司:08A02号 08A40号 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kumduang}和\textit{S.Leeratanavale},讨论。数学。,通用代数应用。43,编号2,339--362(2023;Zbl 07781230) 全文: 内政部
曼纽尔·博迪尔斯基;阿尔伯特·武卡吉;德米特里·朱克 自我对偶操作的克隆格子崩溃了。 (英语) Zbl 07713610号 国际代数计算杂志。 33,第4期,717-749(2023年).MSC公司:03B50号 08A70号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《国际代数计算》。33,编号4,717--749(2023;Zbl 07713610) 全文: 内政部 arXiv公司
迈克尔·孔帕彻 2-幂零代数的子幂次隶属度问题。 arXiv:2309.16549 预印本,arXiv:2309.16549[math.RA](2023)。MSC公司:08A70号 BibTeX公司 引用 \textit{M.Kompatscher},“2-幂零代数的次幂次隶属度问题”,预印本,arXiv:2309.16549[math.RA](2023) 全文: arXiv公司 OA许可证
曼纽尔·博迪尔斯基;塞马尼什诺娃;卡斯滕·卢茨 通过值约束满足问题的弹性问题的复杂性。 arXiv:2309.15654 预印本,arXiv:2309.15654[math.LO](2023)。MSC公司:65年第68季度 08A70号 第68页,共15页 BibTeX公司 引用 \textit{M.Bodirsky}等人,“通过有值约束满足问题的弹性问题的复杂性”,预打印,arXiv:2309.15654[math.LO](2023) 全文: arXiv公司 OA许可证
马尼,A 一般粗糙集中合格聚合的代数模型,以及推理偏差发现。 arXiv:2309.03217 预印本,arXiv:2309.03217[cs.AI](2023)。MSC公司:03G25号 03G10年 03B60号 06B35号 08A70号 BibTeX公司 引用 \textit{A Mani},“一般粗糙集中合格聚合的代数模型和推理偏差发现”,预打印,arXiv:2309.03217[cs.AI](2023) 全文: arXiv公司 OA许可证
夏洛特·阿滕 离散神经网络和多态学习。 arXiv:2308.00677 预打印,arXiv:2308.00677[cs.NE](2023)。MSC公司:68T07型 08A70号 05C60型 BibTeX公司 引用 \textit{C.Aten},“离散神经网络和多态学习”,预印本,arXiv:2308.00677[cs.NE](2023) 全文: arXiv公司 OA许可证
布林,雅库布;迈克尔·孔帕彻 约束语言中的简短定义。 arXiv:2305.01984年 预印本,arXiv:2305.01984[cs.LO](2023)。MSC公司:08A70号 BibTeX公司 引用 \textit{J.Bulín}和\textit{M.Kompatscher},“约束语言中的简短定义”,预印本,arXiv:2305.01984[cs.LO](2023) 全文: arXiv公司 OA许可证
A、 马尼 粗糙随机性及其应用。 arXiv:2304.00005 预打印,arXiv:2304.00005[cs.AI](2023)。MSC公司:68层37 68瓦30 68瓦99 06B99年 08A70号 BibTeX公司 引用 \textit{M.A},“粗糙随机性及其应用”,预打印,arXiv:2304.00005[cs.AI](2023) 全文: arXiv公司 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公司 链接
穆欣,伊塞苏 对应于对偶Bézier曲线的直纹曲面的新特征。 (英语) Zbl 07781342号 数学。方法应用。科学。 45,第18号,12030-12045(2022).MSC公司:14层26 65D17号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Incesu},数学。方法应用。科学。45,编号18,12030--12045(2022;Zbl 07781342) 全文: 内政部
索拉萨克Leeratanavalee;萨拉武特省普瓦蓬 代数系统非确定性超代换的一个新概念。 (英语) Zbl 07732583号 泰国J.数学。,规范发行号:数学年会 2021, 25-37 (2022).MSC公司:08A05号 08A70号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Leeratanavalee}和\textit{S.Phuapong},泰国数学杂志。,25-37(2022年;兹bl 07732583) 全文: 链接
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公司
塞尔马兹(Előd P.Csirmaz)。;拉兹洛·齐尔马兹 数据协调代数。 (英语) Zbl 07644707号 科学研究。数学。挂。 59,编号3-4,209-231(2022). 审核人:韦斯·aw A.Dudek(Wroc aw) MSC公司:68第05页 08A70号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Csirmaz}和\textit{L.Csimmaz},科学研究。数学。挂。59,编号3--4,209--231(2022;Zbl 07644707) 全文: 内政部 arXiv公司
罗宾·赫希;米库拉斯(Mikulás,Szabolcs);蒂姆·斯托克斯 非确定性程序的代数:恶魔般的操作、命令和公理。 (英语) 兹比尔1499.08001 日志。J.IGPL公司 30,第5号,886-906(2022).MSC公司:08A02号 08A70号 05年6月 20个M10 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人,日志。J.IGPL 30,第5号,886--906(2022年;Zbl 1499.08001) 全文: 内政部 arXiv公司 链接
托达蓬·昆当;松潘斯里旺萨 关于有限集上奇异映射所确定的超结合项代数的注记。 (英语) Zbl 1513.08004号 国际数学杂志。计算。科学。 17,第4期,1541-1546(2022).MSC公司:08A70号 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kumduang}和\textit{S.Sriwongsa},国际数学杂志。计算。科学。17,第4号,1541--1546(2022;Zbl 1513.08004) 全文: 链接
维克托·拉盖克维斯特;瓦尔斯特伦,马格纳斯 NP-hard SAT和CSP问题的(粗)细粒度结构。 (英语) Zbl 1495.68158号 ACM变速器。计算。理论 14,第1号,第2号论文,54页(2022年).MSC公司:68兰特 08A70型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Lagerkvist}和\textit{M.WahlströM},ACM Trans。计算。理论14,第1号,论文2,54页(2022;Zbl 1495.68158) 全文: 内政部 链接
亚历山大·卡兹达;迈克尔·孔帕彻 (G\)不变项的局部全局性质。 (英语) Zbl 1529.08024号 国际代数计算杂志。 32,第6期,1209-1231(2022).MSC公司:08B05号 08A40号 08A70号 2005年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kazda}和\textit{M.Kompatscher},国际代数计算杂志。32,第6号,1209--1231(2022;Zbl 1529.08024) 全文: 内政部 arXiv公司
米哈伊尔·阿诺金 伪自由族和密码原语。 (英语) Zbl 1494.94031号 数学杂志。加密。 16, 114-140 (2022). 审核人:雅克·海诺(塔林) MSC公司:94A60型 08A70号 08A60 08A62号 PDF格式BibTeX公司 XML格式引用 \textit{M.Anokhin},J.数学。加密。16、114-140(2022年;Zbl 1494.94031) 全文: 内政部
安蒂奇,克里斯蒂安 类比比例。 (英语) Zbl 1490.68175号 安。数学。Artif公司。智力。 90,第6号,595-644(2022).MSC公司:68T01型 08A70型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Antić},Ann.数学。Artif公司。智力。90,第6号,595--644(2022;Zbl 1490.68175) 全文: 内政部 arXiv公司
乔舒亚·布拉肯西克;西瓦坎特戈皮;文凯特桑·古鲁斯瓦米 全局模块化约束的约束满足问题:通过多项式表示的算法和硬度。 (英语) Zbl 07538272号 SIAM J.计算。 51,第3期,577-626(2022).MSC公司:65年第68季度 94B05型 20K01型 68瓦20 08A70型 03B70号 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brakensiek}等人,SIAM J.Compute。51,编号3,577--626(2022;Zbl 07538272) 全文: 内政部
米盖尔·库塞罗;卢西恩·哈达德;维克托·拉盖克维斯特 基于部分多态性的约束满足问题细粒度复杂性调查。 (英语) Zbl 1529.08019号 J.穆特-有效日志。软计算。 38,编号1-2,115-136(2022).MSC公司:08A70型 08A40号 08A55号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Couceiro}等人,J.Mult-有效日志。软计算。38,编号1--2,115-136(2022;Zbl 1529.08019) 全文: 链接
巴威·M·伊齐亚克。;雅切克·克扎茨科夫斯基 多值电路中的可满足性。 (英语) Zbl 07534655号 SIAM J.计算。 51,第3期,337-378(2022).MSC公司:2017年第68季度 08A70型 65年第68季度 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Idziak}和\textit{J.Krzaczkowski},SIAM J.Compute。51,编号3,337--378(2022;Zbl 07534655) 全文: 内政部
皮埃尔·吉利伯特;朱利叶斯·乔努沙斯;迈克尔·孔帕彻;安托万·莫特特;迈克尔·平斯克 当对称性不够时:硬约束满足问题的层次结构。 (英语) 兹比尔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公司
曼纽尔·博迪尔斯基;彼得·琼森;马丁·巴纳比;安托万·莫特特;塞马尼什诺娃 通过代数乘积实现CSP的复杂性分类转移。 arXiv公司:2211.03340 预打印,arXiv:2211.03340[math.LO](2022)。MSC公司:06年05月 65年第68季度 08A70号 BibTeX公司 引用 \textit{M.Bodirsky}等人,“通过代数积对CSP进行复杂性分类转移”,预印本,arXiv:2211.03340[math.LO](2022) 全文: arXiv公司 OA许可证
查拉图斯特拉·布雷迪 关于CSP和多态性的注释。 arXiv公司:2210.07383 预印本,arXiv:2210.07383[math.RA](2022)。MSC公司:08A70型 BibTeX公司 引用 \textit{Z.Brady},“CSP和多态性注释”,预印本,arXiv:2210.07383[math.RA](2022) 全文: arXiv公司 OA许可证
莱利·桑顿 Borel CSP的代数方法。 arXiv:2203.16712 预打印,arXiv:2203.16712[math.LO](2022)。MSC公司:03E15年 08A70号 BibTeX公司 引用 \textit{R.Thornton},“Borel CSP的代数方法”,预打印,arXiv:2203.16712[math.LO](2022) 全文: arXiv公司 OA许可证
巴托,利伯;布林,雅库布;安德烈·克罗金;雅库布·奥普沙尔 承诺约束满足的代数方法。 (英语) Zbl 1499.68140号 美国临床医学杂志 68,第4期,第28号论文,66页(2021年).MSC公司:65年第68季度 05C15号 08A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Barto}等人,J.ACM 68,第4号,第28号论文,第66页(2021;Zbl 1499.68140) 全文: 内政部
曼纽尔·博迪尔斯基;雅库布·里德瓦尔;安德烈·施罗特洛赫 通用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公司 链接
乔舒亚·布拉肯西克;文凯特桑·古鲁斯瓦米 承诺约束满足:代数结构和对称布尔二分法。 (英语) Zbl 1494.68094号 SIAM J.计算。 50,第6期,1663-1700(2021).MSC公司:65年第68季度 08A70号 68兰特 68周25 PDF格式BibTeX公司 XML格式引用 \textit{J.Brakensiek}和\textit{V.Guruswami},SIAM J.Compute。50,第6号,1663-1700(2021;Zbl 1494.68094) 全文: 内政部 arXiv公司
彼得·萨博;约格·西克曼 基于广义嵌入的E-统一。 (英语) Zbl 1489.68117号 数学。结构。计算。科学。 31,第8号,898-917(2021).MSC公司:2012年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Szabo}和\textit{J.Siekmann},数学。结构。计算。科学。31,第8号,898--917(2021;Zbl 1489.68117) 全文: 内政部
德米特里·朱克 强子代数与约束满足问题。 (英语) Zbl 1529.08020号 J.穆特-有效日志。软计算。 36,编号4-5,455-504(2021).MSC公司:08A70号 08A30型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhuk},J.Mult-有效日志。软计算。36,编号4--5,455--504(2021;Zbl 1529.08020) 全文: arXiv公司 链接
亚历山大·卡兹达 判定有限代数中拟弱近一致项的存在性。 (英语) Zbl 1529.08023号 J.穆特-有效日志。软计算。 36,编号4-5,337-352(2021).MSC公司:08B05号 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kazda},J.Mult-有效日志。软计算。36,编号4--5,337--352(2021;Zbl 1529.08023) 全文: 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公司
亚历克斯·勃兰茨;马钦·罗奇纳;斯坦尼斯拉夫·伊文 非布尔域上承诺SAT的复杂性。 (英语) Zbl 1495.68157号 ACM变速器。计算。理论 第13条第4款第26条第20页(2021年).MSC公司:68兰特 08A70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Brandts}等人,《美国医学杂志》。计算。理论13,第4条,第26条,第20页(2021年;Zbl 1495.68157) 全文: 内政部 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公司
鲁尼,J.P。 含有边缘项的条件下的Mal'tsev条件满足问题。 (英语) Zbl 1485.08002号 代数大学。 82,第4期,第63号论文,第14页(2021年). 审核人:伊万·查伊达(Přerov) MSC公司:08A70号 08B05号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Rooney},代数大学。82,第4号,第63号论文,第14页(2021年;Zbl 1485.08002) 全文: 内政部
加布里埃拉·马丁·托雷斯 无限指数不可分辨关系下语言的粗逼近。 (英语) Zbl 1519.68121号 芬丹。通知。 179,编号3,275-293(2021).MSC公司:65年第68季度 08A70号 70年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Martín Torres},Fundam。通知。179,编号3,275--293(2021;Zbl 1519.68121) 全文: 内政部
贝尔纳多·费尔南德斯。;戈麦斯(Gracinda M.S.Gomes)。 \(\omega\sharp\)-代数。 (英语) Zbl 1506.08007号 Commun公司。代数 49,第9号,3969-3999(2021).MSC公司:08A70号 08B20号 2007年7月20日 20立方米 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.H.Fernandes}和\textit{G.M.S.Gomes},Commun。代数49,第9期,3969-3999(2021;Zbl 1506.08007) 全文: 内政部
彼得·琼森;维克托·拉盖克维斯特;约翰·施密特;汉内斯·厄普曼 指数时间假设以及优化和逻辑推理问题的相对复杂性。 (英语) Zbl 1514.68085号 西奥。计算。科学。 892, 1-24 (2021).MSC公司:65年第68季度 08A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}等人,Theor。计算。科学。892,1-24(2021年;兹比尔1514.68085) 全文: 内政部
埃琳娜·阿拉多娃;塔贾纳·普洛特金 逻辑上自同构等价的知识库模型。 (英语) Zbl 1502.68287号 J.代数应用。 20,第8号,文章ID 2150148,22 p.(2021).MSC公司:68立方英尺 03G25号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Aladova}和\textit{T.Plotkin},《代数应用》杂志。20,第8号,文章ID 2150148,22 p.(2021;Zbl 1502.68287) 全文: 内政部
托达蓬·昆当;Khwancheewa Wattanatripop公司;Thahat长相 具有固定变量的树语言及其代数结构。 (英语) Zbl 1499.08012号 国际数学杂志。计算。科学。 16,第4期,1683-1696(2021).MSC公司:08A70号 08A40号 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kumduang}等人,《国际数学杂志》。计算。科学。16,第4号,1683-1696(2021;Zbl 1499.08012) 全文: 链接
曼纽尔·博迪尔斯基;弗洛里安·斯塔克;阿尔伯特·武卡吉 光滑有向图模本原正可构造性和循环循环条件。 (英语) Zbl 1502.08004号 国际代数计算杂志。 31,编号5,929-967(2021).MSC公司:08A40号 05C20号 08B05号 05C38号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《国际代数计算》。31,编号5,929--967(2021;Zbl 1502.08004) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;迈克尔·平斯克;安德拉斯·蓬格拉茨 投影克隆同态。 (英语) Zbl 1529.03192号 J.塞姆。日志。 86,第1号,148-161(2021).MSC公司:03C05号机组 03C35号 03C40号 08A70号 08A35型 08A30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,J.Symb。日志。86,编号1,148--161(2021;Zbl 1529.03192) 全文: 内政部 arXiv公司 链接
米哈伊尔·阿诺金 计算泛代数的伪自由族。 (英语) Zbl 1466.94019号 数学杂志。密码。 15, 197-222 (2021).MSC公司:94A60型 08A70号 08A62号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Anokhin},J.数学。加密。15、197--222(2021;Zbl 1466.94019) 全文: 内政部
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) 全文: 内政部
邓国锋;塞伊(Ezzeddine El);特雷弗·曼德斯;彼得·迈尔;波拉马特·纳科特;雅典娜·斯帕克斯 满足承诺约束的三明治。 (英语) Zbl 1509.68100号 代数大学。 82,第1号,第15号论文,第9页(2021年).MSC公司:65年第68季度 08A70号 68兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Deng}等人,代数大学。82,第1号,第15号论文,第9页(2021年;Zbl 1509.68100) 全文: 内政部 arXiv公司
布里塞诺、雷蒙多;安德烈·布拉托夫;维克托·达尔摩;Larose,贝诺?t 关系结构中的可拆卸性、连通性和混合性。 (英语) Zbl 1503.08002号 J.库姆。理论,Ser。B类 147,37-70(2021).MSC公司:08A70号 05C90年 60摄氏度05 87年第68季度 82B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Briceño}等人,J.Comb。理论,Ser。B 147,37-70(2021;Zbl 1503.08002) 全文: 内政部 arXiv公司 链接
维克托·拉盖克维斯特;罗伊,比曼 逆约束问题的复杂性和逆可满足性问题的二分法。 (英语) Zbl 1477.68127号 J.计算。系统。科学。 117,23-39(2021).MSC公司:65年第68季度 08A70号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Lagerkvist}和\textit{B.Roy},J.Comput。系统。科学。117、23-39(2021年;Zbl 1477.68127) 全文: 内政部 链接
曼纽尔·博迪尔斯基;安托万·莫特特;米罗斯拉夫·奥尔沙克;雅库布·奥普沙尔;迈克尔·平斯克;罗斯·威拉德 \(\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公司
马塞尔·杰克逊;斯托克斯,蒂姆 覆盖和更新。 (英语) 兹比尔1454.08004 J.纯应用。代数 225,第3号,文章ID 106532,17页(2021).MSC公司:08A70号 03B35型 20平方米 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},J.Pure Appl。代数225,第3号,文章ID 106532,17页(2021;Zbl 1454.08004) 全文: 内政部 arXiv公司
瓦西尔·乌斯廷科 关于用双Schubert自动机和多元密码的稳定映射进行计算。 arXiv:2108.08288 预印本,arXiv:2108.08288[cs.CR](2021)。MSC公司:20B35码 94A60型 08A05号 08A70号 BibTeX公司 引用 \textit{V.Ustimenko},“关于双Schubert自动机和多元密码学稳定映射的计算”,预打印,arXiv:2108.08288[cs.CR](2021) 全文: arXiv公司 OA许可证
迈克尔·孔帕彻 拟合长度>2的幂零Maltsev代数的CSAT和CEQV。 arXiv:2105.00689 预印本,arXiv:210500689[cs.CC](2021)。MSC公司:08A70号 08A40号 BibTeX公司 引用 \textit{M.Kompatscher},“拟合长度>2”的幂零Maltsev代数的CSAT和CEQV,预印,arXiv:2105.00689[cs.CC](2021) 全文: arXiv公司 OA许可证
查拉图斯特拉·布雷迪;梅·霍尔顿 最大为4的域上的对称运算。 arXiv:2102.07329 预印本,arXiv:2102.07329[math.RA](2021)。MSC公司:08A70号 08B05号 BibTeX公司 引用 \textit{Z.Brady}和\textit{H.Mui},“最多4个大小域上的对称运算”,预打印,arXiv:2102.07329[math.RA](2021) 全文: arXiv公司 OA许可证
吉安卢卡·阿马托;马泰奥·卡洛西;马可·马格西;布罗吉,科西莫·佩里尼 UniMath中的泛代数。 arXiv:2102.05952 预打印,arXiv:2102.05952[cs.LO](2021)。MSC公司:68伏15 03B38型 03B35型 08A70号 BibTeX公司 引用 \textit{G.Amato}等人,“UniMath中的泛代数”,预印本,arXiv:2102.05952[cs.LO](2021) 全文: arXiv公司 OA许可证
米盖尔·库塞罗;埃尔科·莱顿;罗兰·米克莱特;亨利·普拉德;理查德·吉尔斯 当标称类比比例不失效时。 (英语) 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) 全文: 内政部 哈尔
维克托·拉盖克维斯特;瓦尔斯特伦,马格纳斯 通过可处理的扩展将SAT和CSP问题稀疏化。 (英语) Zbl 1499.68241号 ACM变速器。计算。理论 第12条第2款第13条第29页(2020年).MSC公司:68兰特 08A70号 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Lagerkvist}和\textit{M.WahlströM},ACM Trans。计算。理论12,第2号,第13条,第29页(2020;Zbl 1499.68241) 全文: 内政部 链接
安德烈·布拉托夫。;斯坦尼斯拉夫·伊文 从另一侧看到的近似计数CSP。 (英语) Zbl 1499.68239号 ACM变速器。计算。理论 第12条第2款第11条第19页(2020年).MSC公司:68兰特 08A70号 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Bulatov}和\textit{S.ivn},ACM Trans。计算。理论12,第2号,第11条,第19页(2020;Zbl 1499.68239) 全文: 内政部 arXiv公司
斯特凡·格德吉科夫;González de Mendívil,JoséR。 最大因式分解存在的条件。 (英语) Zbl 1464.08001号 模糊集系统。 397, 186-196 (2020).MSC公司:08A70号 03G25号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{S.Gerdjikov}和\textit{J.R.González de Mendívil},模糊集系统。397186-196(2020;Zbl 1464.08001) 全文: 内政部 链接
达旺·楚邦甘;索拉萨克Leeratanavalee 多子代数的某些类型的部分广义超代换。 (英语) Zbl 1485.08001号 东西方数学杂志。 22,第2期,153-164(2020).MSC公司:08A70号 08A40号 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Chumpungam}和\textit{S.Leeratanavalee},东西方数学杂志。22,第2号,153--164(2020;Zbl 1485.08001)
米丽亚姆·巴肯斯;莱斯利·安·戈德伯格 霍兰特克隆和保守霍兰特问题的近似性。 (英语) Zbl 1484.68144号 ACM变速器。算法 第16条第2款第23条第55页(2020年).MSC公司:68卢比 08A40号 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Backens}和\textit{L.A.Goldberg},ACM Trans。算法16,第2号,第23条,55页(2020;Zbl 1484.68144) 全文: 内政部 arXiv公司
米查·罗纳 关于有限有界严格宽度齐次二元核的一阶展开式的关系宽度。 (英语) 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公司
德米特里·朱克 CSP二分法猜想的证明。 (英语) Zbl 1491.68128号 美国临床医学杂志 第67条第5款第30条第78页(2020年).MSC公司:68兰特 08A40号 08A70号 65年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhuk},J.ACM 67,第5号,第30条,第78页(2020;Zbl 1491.68128) 全文: 内政部 arXiv公司
布雷特·麦克莱恩 具有域的自由Kleene代数。 (英语) Zbl 1484.08014号 J.日志。阿尔盖布。方法计划。 117,文章ID 100606,14 p.(2020).MSC公司:08B20号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.McLean},J.Log。阿尔盖布。方法计划。117,文章ID 100606,14 p.(2020;Zbl 1484.08014) 全文: 内政部 arXiv公司
克莱门特·维达尔,J。;López,E.Cosme公司 自由多分类代数可识别性定理的基于同余的证明。 (英语) Zbl 1515.08003号 J.日志。计算。 第2期第30期,561-633页(2020年).MSC公司:08年68月 08A70号 08B20号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Climent Vidal}和\textit{E.C.Llópez},J.Log。计算。30,编号2,561--633(2020;Zbl 1515.08003) 全文: 内政部 arXiv公司
米罗斯拉夫·奥尔沙克 强连通有向图的循环条件。 (英语) Zbl 1454.08006号 国际代数计算杂志。 30,第3期,467-499(2020).MSC公司:08B05号 05C20号 05C25号 08B20号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Olšák},国际代数计算杂志。30,第3号,467--499(2020;Zbl 1454.08006) 全文: 内政部
曼纽尔·博迪尔斯基;阿尔伯特·武卡伊 二元结构模本原正可构性。 (英语) 兹比尔1477.08003 代数大学。 81,第2期,第20号论文,第17页(2020年).MSC公司:08A40号 08A70号 08B05号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{A.Vucaj},代数大学。81,第2号,第20号论文,17页(2020年;Zbl 1477.08003) 全文: 内政部 arXiv公司
利波·巴托;迈克尔·平斯克 拓扑是无关的(在无限域约束满足问题的二分法猜想中)。 (英语) Zbl 1432.68169号 SIAM J.计算。 49,第2期,365-393页(2020年).MSC公司:65年第68季度 03C05号机组 03C35号 08A70号 2017年第68季度 68年第27季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Barto}和\textit{M.Pinsker},SIAM J.Compute。49,第2号,365-393(2020;Zbl 1432.68169) 全文: 内政部 arXiv公司
Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;梅塞盖尔,J。 序排序方程程序模公理的部分求值框架。 (英语) Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110,文章ID 100501,36 p.(2020).MSC公司:68号30 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100501,36 p.(2020;Zbl 1494.68048) 全文: 内政部
A、 马尼;桑德·拉德莱茨基 有向粗糙集的代数方法。 arXiv:2004.12171 预印本,arXiv:2004.12171[cs.LO](2020)。MSC公司:08A70号 08A55号 08A99号 06年第75页 10年6月 BibTeX公司 引用 \textit{M.A}和\textit{S.Radeleczki},“有向粗糙集的代数方法”,预打印,arXiv:2004.12171[cs.LO](2020) 全文: arXiv公司 OA许可证
哈米德·库洛斯曼 假草地的一些性质。 arXiv:2001.08506号 预印本,arXiv:2001.08506[math.AC](2020)。MSC公司:08B26号 08A70号 08A99号 13M99型 68问题65 BibTeX公司 引用 \textit{H.Kulosman},“伪草地的一些性质”,预印本,arXiv:2001.08056[math.AC](2020) 全文: arXiv公司 OA许可证
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 结合性公理和交换性公理的同胚嵌入模组合。 (英语) 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公司
皮拉尔,德伦德;阿曼达·维达尔 模糊pp形式下的真值保持。 (英语) Zbl 1503.68077号 国际J.不确定。模糊知道-基于系统。 27,补遗1,89-105(2019).MSC公司:65年第68季度 03B52号 03B70号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Dellunde}和\textit{A.Vidal},国际期刊《不确定性》。模糊知道-基于系统。27,89-105(2019年;兹比尔1503.68077) 全文: 内政部 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) 全文: 内政部
达旺·楚邦甘;索拉萨克Leeratanavalee 多子代数的广义超代换。 (英语) Zbl 1469.08001号 泰语J.数学。 17,第2号,463-473(2019).MSC公司:08A70号 08A40号 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Chumpungam}和\textit{S.Leeratanavalee},泰国数学杂志。17,No.2,463--473(2019;Zbl 1469.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 1468.68205号 国际J近似推理 114, 51-83 (2019).MSC公司:68分20秒 08A70型 2016年60月 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Roca-Lacostena}等人,《国际近似推理》114,51-83(2019;Zbl 1468.68205) 全文: 内政部 arXiv公司
利波·巴托 承诺约束满足问题的代数理论,第一步。 (英语) 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) 全文: 内政部
Mikołaj博扬奇克;巴托克·克林 一种由无限树组成的非正则语言,可由排序有限代数识别。 (英语) Zbl 1427.68178号 日志。方法计算。科学。 15,第4号,第11号论文,第13页(2019年).MSC公司:70年第68季度 08A40号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}和\textit{B.Klin},Log。方法计算。科学。15,第4号,第11号论文,第13页(2019年;Zbl 1427.68178) 全文: arXiv公司
Larose,贝诺?t;马丁·巴纳比;Paulusma,达尼埃尔 自反有向图上的surpjective H-colouring。 (英语) Zbl 1485.68190号 ACM变速器。计算。理论 第11条第1款第3条第21页(2019年).MSC公司:68兰特 05C20号 05C60型 08A70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Larose}等人,ACM翻译。计算。理论11,第1号,第3条,第21页(2019年;Zbl 1485.68190) 全文: 内政部 arXiv公司 链接
摩西·加纳迪;马库斯·洛伊 一个通用的树平衡定理。 (英语) Zbl 1485.68082号 ACM变速器。计算。理论 11,第1号,第1条,第25页(2019年).MSC公司:68第05页 08A70号 2016年60月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}和\textit{M.Lohrey},ACM翻译。计算。理论11,第1号,第1条,第25页(2019年;Zbl 1485.68082) 全文: 内政部 arXiv公司
佐尔坦·埃西克;德克斯特·科赞 关于自由(ω)-连续和正则序代数。 (英语) Zbl 1442.68116号 日志。方法计算。科学。 15,第4号,第4篇论文,16页(2019年).MSC公司:70年第68季度 08A70型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Esik}和\textit{D.Kozen},日志。方法计算。科学。第15号第4条,第4号论文,第16页(2019年;Zbl 1442.68116) 全文: arXiv公司
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公司
Vidal,J.气候;López,E.Cosme公司 多种形态的艾伦伯格定理。 (英语) Zbl 1528.08006号 休斯顿J.数学。 45,第2号,321-369(2019).MSC公司:08年68月 08A70号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Vidal}和\textit{E.C.Llópez},休斯顿数学杂志。45,第2号,321--369(2019;Zbl 1528.08006) 全文: arXiv公司
曼纽尔·博迪尔斯基;马丁·巴纳比;迈克尔·平斯克;安德拉斯·蓬格拉茨 齐次图约简的约束满足问题。 (英语) Zbl 1430.68121号 SIAM J.计算。 48,第4期,1224-1264(2019).MSC公司:65年第68季度 03C15号 05元55分 05C75号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,SIAM J.Comput。48,第4号,1224--1264(2019;Zbl 1430.68121) 全文: 内政部
陈,胡比;马特·瓦莱里奥特;Yuichi Yoshida 约束满足问题赋值的常量查询可测试性。 (英语) Zbl 1430.68439号 SIAM J.计算。 48,第3期,1022-1045(2019).MSC公司:68瓦20 08A02号 08A70型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人,SIAM J.Compute。48,第3号,1022--1045(2019;Zbl 1430.68439) 全文: 内政部
德米特里·朱克 发电机组的功率大小。 (英语) Zbl 1492.68098号 J.库姆。理论,Ser。A类 167, 91-103 (2019).MSC公司:68兰特 08A30型 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{D.朱克},J.库姆。理论,Ser。A 167,91-103(2019年;Zbl 1492.68098) 全文: 内政部 arXiv公司
Damien Pous;朱里安·罗特 同伴、因果关系和共感。 (英语) Zbl 1442.68150号 日志。方法计算。科学。 15,第3号,第14号论文,36页(2019年).MSC公司:68问题85 03B70号 06年2月23日 08A70号 18立方厘米 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}和\textit{J.Rot},Log。方法计算。科学。15,第3号,第14号论文,36页(2019年;Zbl 1442.68150) 全文: arXiv公司