文件大小：453 kB 15页
一阶可定义结构的同态问题
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
带原子的集合 一阶解释 同态问题
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
罗伯特·伯杰。 多米诺骨牌问题的不确定性。 内存。 阿默尔。 数学。 Soc.，66，1966年。 
-
曼纽尔·博德斯基。 无限域约束满足中的复杂性分类。 巴黎第七迪德罗大学（UniversityéDiderot–Paris 7），《资格认证》（Mémoire d habilitationádiriger des recherches），2012年，arXiv:12011.0856。
-
曼纽尔·博德斯基和扬·卡拉。 等式约束语言的复杂性。 理论计算。 系统。， 43(2):136-158, 2008.
-
曼纽尔·博德斯基和扬·卡拉。 时间约束满足问题的复杂性。 J.ACM，57（2），2010年。
-
曼努埃尔·博德斯基、巴纳比·马丁和安托万·莫特特。 具有后继整数的约束满足问题。 在程序中。 ICALP，LNCS第9134卷，第256-267页，2015年。
-
曼努埃尔·博德斯基、巴纳比·马丁、迈克尔·平斯克和安德拉斯·蓬格茨。 齐次图约简的约束满足问题。 在程序中。 2016年ICALP发布。 出现。
-
曼纽尔·博德斯基和安托万·莫特特。 有限界齐次结构的约简，以及从有限域约束满足中提升可牵引性。 在程序中。 2016年LICS第16期。 出现。
-
曼努埃尔·博迪尔斯基和雅罗斯拉夫·内什等人。 可数同构模板的约束满足。 J.日志。 计算。， 16(3):359-373, 2006.
-
曼纽尔·博德斯基和迈克尔·平斯克。 图的Schaefer定理。 在程序中。 STOC，第655-664页，2011年。
-
曼努埃尔·博迪尔斯基和迈克尔·平斯克。 拓扑Birkhoff。 AMS交易，367:2527-25492015。
-
曼纽尔·博迪尔斯基、迈克尔·平斯克和托多尔·赞科夫。 可定义性的决定。 符号逻辑杂志，78（04）：1036-10542013。
-
曼纽尔·博德斯基和米查尔·罗纳。 等价约束满足问题。 在Procs中。 CSL，第122-136页，2012年。
-
博扬奇先生和托伦奇先生。 带有原子的命令式编程。 在程序中。 FSTTCS 2012，LIPIcs第18卷，2012年。
-
米科·阿杰·博扬奇克、劳伦特·布劳德、巴托克·克林和萨沃米尔·拉索塔。 朝向标称计算。 在程序中。 POPL 2012，第401-412页，2012年。
-
米科·阿杰·博扬奇克、巴泰克·克林和萨沃米尔·拉索塔。 名义集合中的自动机理论。 日志。 方法。 公司。 科学。， 10, 2014.
-
米科·阿杰·博扬奇克（Mikołaj Bojann czyk）、巴泰克·克林（Bartek Klin）、萨沃米尔·拉索塔（S \322»awomir Lasota）和西蒙·托伦奇克（Szymon Torunn czzyk）。 带原子的图灵机器。 在LICS中，第183-192页，2013年。
-
蔡金毅（Jin-yi Cai）、马丁·福勒（Martin Fürer）和尼尔·伊梅尔曼（Neil Immerman）。 用于图形识别的变量数的最佳下界。 组合数学，12（4）：389-4101992。
-
Tomás Feder和Moshe Y.Vardi。 单调单子snp和约束满足的计算结构：通过数据日志和群论进行的研究。 SIAM J.计算。， 28（1）：57-1041999年2月。 网址： http://dx.doi.org/10.1137/S0097539794266766 . -
威尔弗里德·霍奇斯。 模型理论。 数学及其应用百科全书第42号。 剑桥大学出版社，1993年。
-
A.S.Kechris、V.G.Pestov和S.Todorcevic。 弗雷塞极限、拉姆齐理论和自同构群的拓扑动力学。 几何与功能分析GAFA，15（1）：106-1892005。
-
巴托克·克林、埃里克·科普琴斯基、乔安娜·奥奇里米亚克和西蒙·托伦奇。 局部有限约束满足问题。 在Procs中。 2015年，第475-486页。
-
巴托克·克林（Bartek Klin）和米查尔·辛沃尔斯基（Michal Szynwelski）。 无限结构上函数规划的SMT求解。 在程序中。 MSFP’16，第57-75页，2016年。
-
P.Kolaitis和M.Vardi。 高阶性质概率的决策问题。 在程序中。 STOC'87，第425-435页，1987年。
-
埃里克·科普奇恩滑雪和西蒙·托鲁恩奇克。 LOIS：SMT求解器的应用。 在程序中。 SMT研讨会，《CEUR会议记录》第1716卷，第51-60页，2016年。
-
雅罗斯拉夫·内什（Jaroslav Nešetřil）和沃伊特克·罗德尔（Vojtech Rödl）。 有限关系系统和集合系统的划分。 组合理论杂志，A辑，22（3）：289-3121977。
-
A.M.皮特斯。 名词集：计算机科学中的名称和对称性。 剑桥大学出版社，2013年。