第35届STACS 2018：法国卡昂
罗尔夫·尼德迈尔 ， 布里吉特·瓦莱 :
第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。 LIPIcs公司 96, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2018 ，国际标准图书编号 978-3-95977-062-0 前言、目录、前言、会议组织。 0:i-0:xvi 布鲁诺·萨尔维 
:
递归组合结构：枚举、概率分析和随机生成。 1:1-1:5 米娜·马哈詹 :
QBF证明系统的下限技术。 2分2秒8秒 达米安·普斯 :
关于传递闭包关系的正演算。 3:1-3:16 格哈德·沃金格（Gerhard J.Woeginger） :
开放式车间调度问题。 4:1-4:12 安娜·阿达马斯泽克 ， 安东尼奥斯·安东尼亚迪斯 ， 阿米特·库玛尔 ， 托比亚斯·莫凯 :
接近机场和铁路。 5:1-5:13 伊索尔德·阿德勒 ， 弗雷德里克·哈瓦特 :
有界学位数据库的属性测试。 6:1-6:14 阿坎沙·阿格拉瓦尔 ， 丹尼尔·洛克斯塔诺夫 ， 普拉纳本德·米斯拉 ， Saket Saurabh公司 ， 梅拉夫·泽哈维 :
区间图的障碍的Erdös-Pósa性质。 7:1-7:15 安德里斯·安巴尼斯 ， 马丁斯·科凯尼斯 ， 克里斯贾尼斯·普鲁西斯 ， Jevgenijs维罗夫斯 :
所有经典的对抗方法对于总函数都是等价的。 8:1-8:14 马克斯·班纳赫 ， 直到Tantau :
通过AC^0-电路计算命中集内核。 9:1-9:14 雷米·贝尔蒙特 ， 迈克尔·兰皮斯 ， 瓦利亚·米特苏 :
参数化（近似）缺陷着色。 10:1-10:15 克里斯托夫·贝尔霍尔茨 :
多项式微积分、Sherali-Adams和平方和证明之间的关系。 11:1-11:14 奥拉夫·贝耶斯多夫 ， 乔舒亚·布林科恩 :
真正的QBF扩展下限。 12:1-12:15 戴维德·比洛 ， 基尔蒂·乔达里 ， 卢西亚诺·瓜拉 ， 斯特凡诺·卢奇 ， Merav Parter公司 ， 吉多·普罗埃蒂 :
替换路径的高效Oracle和路由方案。 13:1-13:15 戴维德·比洛 ， 帕斯卡·伦兹纳 :
关于网络创造游戏的树猜想。 14:1-14:15 劳伦特·宾文努（Laurent Bienvenu） ， 罗德尼·G·唐尼 :
在低速Oracle上。 15:1至15:13 迈克尔·布隆丁 ， 哈维尔·埃斯帕尔扎 ， 斯特凡·贾克斯 :
大群小鸟：关于最小种群规模的协议。 16:1-16:14 Benedikt Bollig公司 ， 玛丽·福廷 ， 保罗·加斯廷 :
通信有限状态机和双变量逻辑。 17:1-17:14 马尔科·布雷桑 ， 伊诺克·佩塞里科 ， 卢卡·普雷托 :
时间可逆马尔可夫链平稳分布的逼近。 18:1-18:14 氯化碳 ， 大卫·A·科恩 ， 马丁·库珀 ， 斯坦尼斯拉夫·齐夫尼 :
由单调模式定义的CSP的单点弧一致性。 19:1-19:15 Bernadette Charron-Bost公司 ， 什洛莫·莫兰 :
重新审视射击队问题。 20:1-20:14 苏里亚吉思·齐拉拉 ， 努坦·利马耶 ， 斯里坎斯·斯里尼瓦桑 :
迭代矩阵乘法的小深度多重线性公式下限及其应用。 21:1-21:15 拉斐尔·克利福德 ， 阿伦·格伦伦德 ， 卡斯珀·格林-拉森 ， 塔蒂亚娜·斯塔里科夫斯卡娅 :
字符串上动态数据结构的上下限。 22:1-22:14 德巴拉蒂·达斯 ， 米查尔·库克（Michal Kouck） ， 迈克尔·E·萨克斯 :
布尔矩阵乘法组合算法的下限。 23:1-23:14 埃里克·D·德曼 ， 莎拉·艾森斯塔特 ， 米哈伊尔·鲁多伊 :
最优解魔方是NP完成的。 24:1-24:13 戈卡普·德米尔西 ， 亨利·霍夫曼 ， 大卫·H·K·金 :
具有资源和优先级约束的调度近似算法。 25:1-25:14 帕维尔·德沃拉克 ， 安德烈亚斯·埃米尔·费尔德曼 ， 杜珊·诺普 ， 托马斯·马萨里克 ， 托马斯·图法尔 ， 帕维尔·维塞尔（Pavel Vesel） :
具有少量Steiner顶点的Steiner树的参数化逼近方案。 26:1-26:15 拉兹洛·埃格里 ， 达尼尔·马克思 ， 巴维尔·扎泽夫斯基 :
从有界树宽图到自反图的发现列表同态：一个完整的复杂性表征。 27:1-27:15 爱德华·艾本 ， 罗伯特·加尼安 ， 塞巴斯蒂安·奥德尼亚克 :
使用依赖树宽度的QBF的小分辨率证明。 28:1-28:15 爱德华·艾本 ， 米提莱什·库马尔 ， 阿默尔·穆阿瓦德 ， 法哈德·帕诺兰 ， 塞巴斯蒂安·西贝茨 :
稀疏图上连通支配集的损失核。 29:1-29:15 卢卡斯·弗莱舍 ， 曼弗雷德·库夫莱特纳 :
有限幺半群的交集问题。 30:1-30:14 摩西·加纳迪 ， 丹尼·哈克 ， 丹尼尔·科尼格 ， 马库斯·洛伊 ， 康斯坦蒂诺斯·马穆拉斯 :
关于滑动窗口的自动机理论。 31:1-31:14 摩西·加纳迪 ， 丹尼尔·科尼格 ， 马库斯·洛伊 ， 格奥尔格·泽茨彻 :
花环产品的背包问题。 32:1-32:13 罗伯特·加尼安 ， 费比安·克劳特 ， 塞巴斯蒂安·奥德尼亚克 :
有界顶点删除问题的结构参数化。 33:1-33:14 帕特里克·加迪 ， 帕特里夏·鲍耶 ， 尼古拉斯·马基 :
战略逻辑中的依赖性。 34:1-34:15 谢尔盖·加斯佩斯 ， 黄慎伟（Shenwei Huang） ， 丹尼尔·保卢斯马 :
无长诱导路的无平方图的着色。 35:1-35:15 芭芭拉·盖斯曼 ， 斯特凡诺·卢奇 ， 刘志鸿 ， 保罗·佩纳 :
次二次时间内具有持续误差的最优错位。 36:1-36:13 乔治·贾库普斯 ， 菲利普·沃尔费尔 :
具有并发插入的随机二叉搜索树的改进边界。 37:1-37:13 加里斯·古德尔 ， 托马斯·科祖马卡 ， 雅库布·拉多舍夫斯基 ， 沃伊切赫·莱特 ， 阿塞尼·M·舒尔 ， 托马斯·瓦伦 :
订单预留模型中的字符串周期。 38:1-38:16 平井宏 ， 岩马由尼 ， 卡佐·穆罗塔 ， 斯坦尼斯拉夫·齐夫尼 :
超越JWP：通过M-凸交集的一类可牵引的二进制VCSP。 39:1-39:14 约翰·希区柯克 ， 哈迪沙菲 :
非均匀约化和NP-完全性。 40:1-40:13 岩田洋一 ， 小泽知木 ， 大坂直人 :
关于全多项式FPT算法的树深度的幂。 41:1-41:14 拉尔斯·贾夫克 ， O-joung Kwon先生 ， 简·阿恩·特尔 :
有界Mim宽度图上反馈顶点集的统一多项式时间算法。 42:1-42:14 斯文·贾格尔 ， 马丁·斯库泰拉 :
将Kawaguchi Kyan界推广到随机并行机器调度。 43:1-43:14 Masashi Kiyomi先生 ， 小野弘太郎 ， 尤塔·奥塔奇 ， 帕斯卡·施韦策 ， Jun Tarui先生 :
最长增加子序列的空间效率算法。 44:1-44:15 克里斯·科彻 :
部分损失队列单调中的有理集、可识别集和非周期集。 45:1-45:14 德米特里·科索洛波夫 :
贪婪和比特优化LZ77编码之间的关系。 46:1-46:14 丹尼斯·库珀伯格 ， 阿尼尔班·马朱姆达尔 :
非确定自动机的宽度。 47:1-47:14 迈克尔·卢滕伯格 ， 拉斐拉·帕伦塔 ， 赫尔穆特·塞德尔 :
计算多项式时间内无上下文语言的最长公共前缀。 48:1-48:13 贝诺瓦特·拉罗斯 ， 巴纳比·马丁 ， 丹尼尔·保卢斯马 :
反身有向图上的surpjective H-Coloring。 49:1-49:14 菲利普·马佐维耶基 ， 克里斯蒂安·里弗罗斯 :
加权自动机的抽运引理。 50:1-50:14 安德烈·尼斯 ， 弗兰克·斯蒂芬 :
多项式时间排列下基于资源的随机性概念的闭包。 51:1-51:10 小野原Taku Onodera ， 涉谷铁雄 :
简洁的遗忘RAM。 52:1-52:16 Pawel公园 :
递归方案和WMSO+U逻辑。 53:1-53:16 阿尤什·拉贾塞卡兰 ， 杰弗里·沙利特 ， 施敏夫 :
回文和：通过自动机的方法。 54:1-54:12 汉斯·乌里希·西蒙 :
关于线性集的包含问题。 55:1-55:12 马雷克·西库拉 :
改进最短重置字长度的上限。 56:1-56:13 高桥雅弘 ， 谷井一郎 :
浅量子电路中未初始化量子比特的功率。 57:1-57:13 罗伊·泰尔 :
密度估计的黑盒约简下限。 58:1-58:13
