文件大小：479 kB 12页
姿态约束满足的复杂性二分法
作者
-
部分： 体积： 第34届计算机科学理论方面研讨会（STACS 2017）
系列： 莱布尼茨国际信息学论文集
会议： 计算机科学理论专题讨论会 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-03-06
文件
文件标识符
引用为 获取BibTex
摘要
关键词
约束满足 随机偏序 计算复杂性 泛代数 拉姆齐理论
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
弗兰克·D·昂热（Frank D.Anger）。 关于Lamport的处理器间通信模型。 《美国计算机学会编程语言与系统学报》（TOPLAS），11（3）：404-4171989年。 
-
利伯·巴托和迈克尔·平斯克。 无限域约束满足问题的代数二分法猜想，2016年。 预印本，arXiv:1602.04353，将出现在LICS 2016的诉讼中。
-
曼纽尔·博德斯基。 可数范畴结构的核心。 在STACS 2005中，第110-120页。 施普林格，2005年。
-
曼纽尔·博德斯基。 无限域约束满足中的复杂性分类，2012年。 巴黎第七大学梅莫尔分校，arXiv:1201.0856v7。
-
曼努埃尔·博德斯基、哈比·陈、扬·卡拉和蒂莫·冯·奥尔岑。 极大无穷值约束语言。 理论。 计算。 科学。， 410(18):1684-1693, 2009.
-
曼努埃尔·博迪尔斯基、彼得·琼森和特朗·范范。 系统发育约束满足的复杂性。 2016年STACS 16。
-
曼纽尔·博德斯基和扬·卡拉。 等式约束语言的复杂性。 计算系统理论，43（2）：136-1582008。
-
曼纽尔·博德斯基和扬·卡拉。 时间约束满足问题的复杂性。 ACM杂志，57（2）：第9、41条，2010年。
-
曼努埃尔·博德斯基、巴纳比·马丁、迈克尔·平斯克和安德拉斯·蓬格茨。 同质图约简的约束满足问题，2016年。 预印，arXiv:1602.05819。
-
曼努埃尔·博迪尔斯基和雅罗斯拉夫·内什等人。 可数同构模板的约束满足。 《逻辑与计算杂志》，16（3）：359-3732006。
-
曼纽尔·博德斯基和迈克尔·平斯克。 拉姆齐构造的还原。 AMS当代数学，第558卷（有限组合数学中的模型理论方法），第489-5192011页。
-
曼纽尔·博德斯基和迈克尔·平斯克。 图的Schaefer定理。 J.ACM，62（3）：19:1-19:52，2015年。
-
曼纽尔·博迪尔斯基、迈克尔·平斯克和托多尔·赞科夫。 可定义性的决定。 符号逻辑杂志，78（4）：1036-10542013。
-
马蒂亚斯·布罗克斯瓦尔和彼得·琼森。 时间推理的点代数：算法和复杂性。 人工智能，149（2）：179-222003。
-
彼得·卡梅隆。 无序集上置换群的传递性。 Mathematische Zeitschrift，148:127-1391976年。
-
Tomás Feder和Moshe Y.Vardi。 单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究。 SIAM计算机杂志，28:57-1041999。
-
Patrice Godefroid、J.van Leeuwen、J.Hartmanis、G.Goos和Pierre Wolper。 并发系统验证的部分顺序方法：状态爆炸问题的方法，第1032卷。 斯普林格·海德堡，1996年。
-
威尔弗里德·霍奇斯。 较短的模型理论。 剑桥大学出版社，剑桥，1997年。
-
彼得·杰文斯（Peter Jeavons）。 关于组合问题的代数结构。 理论计算机科学，200（1）：185-2041998。
-
Michael Kompatscher和Trung Van Pham。 偏序集约束满足的复杂性二分法，2016年。 预印，arXiv:1603.00082。
-
莱斯利·兰波特。 分布式系统中的时间、时钟和事件顺序。 ACM通讯，21（7）：558-5651978。
-
莱斯利·兰波特。 互斥问题：第一部分：进程间通信理论。 美国医学会杂志，33（2）：313-3261986。
-
佩特尔·帕奇、迈克尔·平斯克、加布里埃拉·普卢哈、安德拉斯·蓬格拉茨和萨巴·萨博。 随机偏序的约简。 《数学进展》，267:94-12012014。
-
佩特尔·帕奇、迈克尔·平斯克、安德拉斯·蓬格拉茨和萨巴·萨博。 对部分有序集的一种新操作。 组合理论杂志，A辑，120:1450-14622013。
-
Madelaine Paoli、William T.Trotter和James W.Walker。 拉姆齐理论和量纲理论中的图和阶。 在图表和顺序中，第351-394页。 斯普林格，1985年。
-
迈克尔·平斯克。 约束满足中的代数和模型理论方法，2015年。 预印本，arXiv:1507.00931。
-
托马斯·谢弗（Thomas J.Schaefer）。 可满足性问题的复杂性。 第十届ACM计算理论研讨会论文集，第216-226页。 ACM，1978年。
-
安德鲁·塔南鲍姆（Andrew S.Tanenbaum）和马尔滕·范·斯蒂恩（Maarten Van Steen）。 分布式系统。 普伦蒂斯·霍尔，2007年。
-
西蒙·托马斯。 随机图的约简。 符号逻辑杂志，56（01）：176-1811991。