穆曼蒂·波德;马克西姆·朱可夫斯基 有界量词深度的存在一阶句子的零一定律。 (英语) Zbl 1505.03078号 ACM事务处理。计算。日志。 23,第2条,第12条,第27页(2022年).MSC公司:03C13号机组 05C80号 60平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Podder}和\textit{M.Zhukovskii},ACM翻译。计算。日志。23,第2号,第12条,第27页(2022年;Zbl 1505.03078) 全文: 内政部 arXiv公司
桑德拉·基弗;帕斯卡·施韦策;埃尔卡尔·塞尔曼 通过计数逻辑识别的图形。 (英语) Zbl 1508.68124号 ACM事务处理。计算。日志。 23,第1号,第1条,第31页(2021年).MSC公司:19年第68季度 03B70号 05C15号 05C75号 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,ACM Trans。计算。日志。23,第1号,第1条,第31页(2021年;Zbl 1508.68124) 全文: 内政部 arXiv公司
加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 有界展开类的一阶解释。 (英语) Zbl 1446.68094号 ACM事务处理。计算。日志。 21,第4号,第29条,第41页(2020年).MSC公司:60年第68季度 03B70号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,ACM Trans。计算。日志。21,第4号,第29条,第41页(2020年;Zbl 1446.68094) 全文: 内政部 arXiv公司 链接
加亚尔斯克,雅库布;HlinŞný,佩特;Obdržálek,简;丹尼尔·洛克斯塔诺夫;拉马努扬,M.S。 关于稠密图类的FO模型检查的一个新观点。 (英语) Zbl 1446.68093号 ACM事务处理。计算。日志。 21,第4号,第28条,第23页(2020年).MSC公司:60年第68季度 03B70号 05C75号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,ACM Trans。计算。日志。21,第4号,第28条,第23页(2020;Zbl 1446.68093) 全文: 内政部 arXiv公司
科德·艾克迈耶;van den Heuvel,简;川崎敬一;斯蒂芬·克鲁泽;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;丹尼尔·A·奎罗兹。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 有序结构的模型检查。 (英语) Zbl 1446.68092号 ACM事务处理。计算。日志。 21,第2号,第11条,28页(2020年).MSC公司:60年第68季度 03B70号 05C75号 05C83号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Eickmeyer}等人,《美国医学杂志》。计算。日志。21,第2号,第11条,第28页(2020年;Zbl 1446.68092) 全文: 内政部 arXiv公司
内哈·洛达;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 分支宽度的SAT方法。 (英语) Zbl 1433.68412号 ACM事务处理。计算。日志。 第20条第3款第15条第24页(2019年).MSC公司:68T20型 05C65号 05C78号 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Lodha}等人,ACM Trans。计算。日志。20,第3号,第15条,第24页(2019年;Zbl 1433.68412) 全文: 内政部 链接
奥列格·维尔比茨基;马克西姆·朱可夫斯基 子图同构的渐近描述复杂性的紧界。 (英语) Zbl 1433.68162号 ACM事务处理。计算。日志。 第20条第2款第9条第18页(2019年).MSC公司:19年第68季度 03C13号机组 05C60型 PDF格式BibTeX公司 XML格式引用 \textit{O.Verbitsky}和\textit{M.朱可夫斯基},ACM翻译。计算。日志。20,第2号,第9条,第18页(2019年;Zbl 1433.68162) 全文: 内政部 arXiv公司
陈,胡比;莫里茨·米勒 一个层次衍生出另一个层次,即图解构和联合查询的复杂性分类。 (英语) Zbl 1407.68211号 ACM事务处理。计算。日志。 第18条第4款第29条第37页(2017年).MSC公司:65年第68季度 05C60型 05C75号 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}和\textit{M.Muller},ACM Trans。计算。日志。18,第4号,第29条,第37页(2017;Zbl 1407.68211) 全文: 内政部
Đapić,Petar;佩塔·马尔科维奇;巴纳比·马丁 半完全有向图上的量化约束满足问题。 (英语) Zbl 1367.68115号 ACM事务处理。计算。日志。 18,第1号,第2条,47页(2017年).MSC公司:65年第68季度 05C20号 05C85号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Đapić}等人,ACM Trans。计算。日志。18,第1号,第2条,47页(2017年;Zbl 1367.68115) 全文: 内政部 链接
洛伦佐·卡卢奇;尼古拉·加莱西;马西莫·劳里亚 关于Paris-Harrington和非对角Ramsey重言式的证明复杂性。 (英语) Zbl 1407.03073号 ACM事务处理。计算。日志。 17号第4条第26条第25页(2016年).MSC公司:20层03 2015年3月1日 05元55分 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci}等人,《美国医学杂志》。计算。日志。17,第4号,第26条,第25页(2016;Zbl 1407.03073) 全文: 内政部 链接
迈克尔·埃尔伯菲尔德;马丁·格罗;蒂尔·坦托 其中一阶逻辑和一元二阶逻辑重合。 (英语) Zbl 1407.03003号 ACM事务处理。计算。日志。 17号第4条第25条第18页(2016年).MSC公司:03B15号机组 03B10号机组 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Elberfeld}等人,《美国医学杂志》。计算。日志。17,第4号,第25条,第18页(2016;Zbl 1407.03003) 全文: 内政部 arXiv公司
Heule,Marijn J.H。;斯泽德,斯特凡 集团宽度的SAT方法。 (英语) Zbl 1354.68240号 ACM事务处理。计算。日志。 第16号第3条第24条第27页(2015年).MSC公司:68T20型 05C69号 05C75号 05C78号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.H.Heule}和\textit{S.Szeider},ACM翻译。计算。日志。16,第3号,第24条,第27页(2015;Zbl 1354.68240) 全文: 内政部 arXiv公司
阿尔伯特·阿塞里亚斯;阿努吉·达瓦尔 使用奇偶量词近似公式的塔式次数下限。 (英语) Zbl 1287.03082号 ACM事务处理。计算。日志。 第15号第1条第6条第24页(2014年).MSC公司:03C13号机组 05C78号 05C80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{A.Dawar},ACM翻译。计算。日志。15,第1号,第6条,24页(2014年;Zbl 1287.03082) 全文: 内政部
奥利维尔·丹维;伊恩·泽尼 组合图约简的三种句法理论。 (英语) Zbl 1353.68040号 ACM事务处理。计算。日志。 第14号第4条第29条第27页(2013年).MSC公司:68甲18 03B40型 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{I.Zerny},ACM Trans。计算。日志。14,第4号,第29条,第27页(2013;Zbl 1353.68040) 全文: 内政部
奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 DPLL搜索过程的参数化复杂性。 (英语) Zbl 1354.68105号 ACM事务处理。计算。日志。 第14条第3款第20条第21页(2013年).MSC公司:65年第68季度 20层03 05C69号 2017年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,ACM Trans。计算。日志。14,第3号,第20条,第21页(2013;Zbl 1354.68105) 全文: 内政部 链接
托尼·谭 无限字母表上的图可达性和卵石自动机。 (英语) 兹比尔1353.68172 ACM事务处理。计算。日志。 第14条第3款第19条第31页(2013年).MSC公司:65年第68季度 05年3月 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{T.Tan},ACM事务处理。计算。日志。14,第3号,第19条,第31页(2013;Zbl 1353.68172) 全文: 内政部 arXiv公司
安德烈·布拉托夫。 保守约束满足问题的复杂性。 (英语) Zbl 1351.68113号 ACM事务处理。计算。日志。 第12号第4条第24条第66页(2011年).MSC公司:65年第68季度 05C15号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Bulatov},ACM翻译。计算。日志。12,第4号,第24条,66页(2011年;Zbl 1351.68113) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;霍恩,弗洛里安 常规比赛中的最终胜利。 (英语) Zbl 1351.68156号 ACM事务处理。计算。日志。 11,第1号,第1条,第27页(2009年).MSC公司:60年第68季度 05第57页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《美国医学杂志》。计算。日志。11,第1号,第1条,第27页(2009年;Zbl 1351.68156) 全文: 内政部
詹姆斯·林奇(James F.Lynch)。 具有指定度序列的随机图的收敛律。 (英语) Zbl 1367.03064号 ACM事务处理。计算。日志。 6,第4期,727-748(2005).MSC公司:03C13号机组 05C80号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Lynch},ACM翻译。计算。日志。6,第4号,727--748(2005;Zbl 1367.03064) 全文: 内政部
阿夫拉蒂、福托;斯塔夫罗斯·科斯马达基斯;尤格尼·福斯托科斯 数据日志程序及其持久性编号。 (英语) Zbl 1367.68026号 ACM事务处理。计算。日志。 6,第3期,481-518(2005).MSC公司:68N17号 05C65号 68号30 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Afrati}等人,ACM Trans。计算。日志。6,第3号,481--518(2005;Zbl 1367.68026) 全文: 内政部