帕斯卡·施韦策
人员信息
隶属关系: 德国达姆施塔特大学 隶属关系(前): TU Kaiserslautern,德国计算机科学系 隶属关系(前): 德国亚琛RWTH大学 隶属关系(前): 马克斯·普朗克信息学研究所,德国萨尔布吕肯
优化列表
2020年-今天
2024 [公元31年] 莫里茨·利希特 , 帕斯卡·施韦策 :
见证对称选择的无选择多项式时间。 美国临床医学杂志 71 ( 2 ) : 7:1-7:70 ( 2024 ) [i39] 莫里茨·利希特 , 西蒙·拉曼 , 帕斯卡·施韦策 :
Weisfeiler-Leman维数的计算复杂性。 CoRR公司 腹肌/24021531 ( 2024 ) [i38] 托马斯·施奈德 , 帕斯卡·施韦策 :
Weisfeiler-Leman维数的上界。 CoRR公司 abs/2403.12581 ( 2024 ) 2023 【j30】 马丁·格罗 , 丹尼尔·诺恩 , 帕斯卡·施韦策 :
小度图的快速同构检验。 SIAM J.计算。 52 ( 6 ) : S18-1段 ( 2023 ) [公元45年] 朱利亚·巴利加奇 , Yann异议 , 艾琳·海因里希 , 帕斯卡·施韦策 :
带排除未成年人的图的探索。 欧洲航天局 2023 : 11:1-11:15 [公元44年] 马丁·格罗 , 莫里茨·利希特 , 丹尼尔·诺恩 , 帕斯卡·施韦策 :
Weisfeiler-Leman精化的压缩CFI图和下限。 光纤通信系统 2023 : 798-809 [公元43年] 马库斯·安德斯 , 帕斯卡·施韦策 , 马特·索斯 :
超越SAT对称接口的算法。 坐 2023 : 1:1-1:21 [公元42年] 马库斯·安德斯 , 帕斯卡·施韦策 , 朱利安·斯蒂 :
设计用于对称检测的预处理器。 东南亚 2023 : 1:1-1:21 [i37] 马库斯·安德斯 , 帕斯卡·施韦策 , 朱利安·斯蒂 :
设计用于对称检测的预处理器。 CoRR公司 腹肌/2302.06351 ( 2023 ) [公元36年] 马库斯·安德斯 , 帕斯卡·施韦策 , 马特·索斯 :
超越SAT对称接口的算法。 CoRR公司 abs/2306.00613 ( 2023 ) [i35] 朱利亚·巴利加奇 , Yann异议 , 艾琳·海因里希 , 帕斯卡·施韦策 :
探索排除未成年人的图形。 CoRR公司 abs/2308.06823 ( 2023 ) [i34] 马丁·格罗 , 莫里茨·利希特 , 丹尼尔·诺恩 , 帕斯卡·施韦策 :
Weisfeiler-Leman精化的压缩CFI图和下限。 CoRR公司 abs/2308.11970 ( 2023 ) 2022 [公元29年] 桑德拉·基弗 , 帕斯卡·施韦策 , 埃尔卡尔·塞尔曼 :
逻辑识别的图形,带计数。 ACM事务处理。 计算。 日志。 23 ( 1 ) : 1:1-1:31 ( 2022 ) [公元41年] 詹德里克·布拉希特 , 帕斯卡·施韦策 :
通过Weisfeiler-Leman维数对有限群同构不变量的系统研究。 欧洲航天局 2022 : 27:1-27:14 [公元40年] 莫里茨·利希特 , 帕斯卡·施韦策 :
见证对称选择的无选择多项式时间。 许可证 2022 : 30:1-30:13 [i33] 莫里茨·利希特 , 帕斯卡·施韦策 :
见证对称选择的无选择多项式时间。 CoRR公司 abs/2205.14003 ( 2022 ) 2021 [公元28年] 帕斯卡·施韦策 :
技术视角:图形同构问题的逻辑步骤。 Commun公司。 ACM公司 64 ( 5 ) : 97 ( 2021 ) [公元39年] 马库斯·安德斯 , 帕斯卡·施韦策 :
设计快速概率同构测试。 亚历克斯 2021 : 73-84 [公元38年] 莫里茨·利希特 , 帕斯卡·施韦策 :
无选择多项式时间中有界和二面体颜色类的标准化。 CSL公司 2021 : 31:1-31:18 [公元37年] 马库斯·安德斯 , 帕斯卡·施韦策 :
组合对称的并行计算。 欧洲航天局 2021 : 6:1-6:18 [公元36年] 马库斯·安德斯 , 帕斯卡·施韦策 , 弗洛里安·韦策尔斯 :
最坏情况下颜色细化算法的比较设计选择分析。 ICALP公司 2021 : 15:1-15:15 [公元35年] 马库斯·安德斯 , 帕斯卡·施韦策 :
对称树中的搜索问题:个性化定义算法的近最优遍历策略。 ICALP公司 2021 : 16:1-16:21 [公元34年] 马库斯·安德斯 , 詹德里克·布拉希特 , 帕斯卡·施韦策 :
个性化定义树的特征。 国际会计准则委员会 2021 : 24:1-24:14 [公元33年] 马丁·格罗 , 帕斯卡·施韦策 , 丹尼尔·威布金 :
深魏斯费勒·勒曼(Deep Weisfeiler Leman)。 SODA公司 2021 : 2600-2614 [公元32年] 帕斯卡·施韦策 , 康斯坦丁·塞巴赫 :
应用对称规则求解线性方程组。 STACS公司 2021 : 58:1-58:16 [i32] 帕斯卡·施韦策 , 康斯坦丁·塞巴赫 :
应用于线性方程组的对称规则求解。 CoRR公司 abs/2101.05142 ( 2021 ) [i31] 马库斯·安德斯 , 帕斯卡·施韦策 , 弗洛里安·韦策尔斯 :
最坏情况下颜色细化算法的比较设计选择分析。 CoRR公司 abs/2103.10244 ( 2021 ) [i30] 马库斯·安德斯 , 帕斯卡·施韦策 :
组合对称的并行计算。 CoRR公司 abs/2108.04590 ( 2021 ) [i29] 马库斯·安德斯 , 詹德里克·布拉切特 , 帕斯卡·施韦策 :
个性化提炼树的特征。 CoRR公司 abs/2109.07302 ( 2021 ) [第28条] 比利·乔·弗兰克斯 , 马库斯·安德斯 , 马吕斯·克劳特 , 帕斯卡·施韦策 :
通过手术随机性训练通用GNN。 CoRR公司 abs/2112.04314 ( 2021 ) 2020 [公元27年] 安杰洛普洛斯Spyros Angelopoulos , 马克·雷诺 , 帕斯卡·施韦策 :
在线算法的随机优势和双射比。 算法 82 ( 5 ) : 1101-1135 ( 2020 ) [公元26年] 马丁·格罗 , 帕斯卡·施韦策 :
图同构问题。 Commun公司。 ACM公司 63 ( 11 ) : 128-134 ( 2020 ) [公元25年] Masashi Kiyomi先生 , 小野博孝 , 尤塔·奥塔奇 , 帕斯卡·施韦策 , Jun Tarui先生 :
最长增加子序列的空间效率算法。 理论计算。 系统。 64 ( 三 ) : 522-541 ( 2020 ) [公元24年] 马丁·格罗 , 丹尼尔·诺恩 , 帕斯卡·施韦策 , 丹尼尔·威布金 :
有界树宽度图的改进同构检验。 ACM事务处理。 算法 16 ( 三 ) : 34:1-34:31 ( 2020 ) [公元31年] 詹德里克·布拉希特 , 帕斯卡·施韦策 :
有限群的Weisfeiler-Leman维数。 许可证 2020 : 287-300 [i27] 马丁·格罗 , 帕斯卡·施韦策 , 丹尼尔·威布金 :
深魏斯费勒·勒曼(Deep Weisfeiler Leman)。 CoRR公司 abs/2003.10935 ( 2020 ) [i26] 詹德里克·布拉希特 , 帕斯卡·施韦策 :
有限群的Weisfeiler-Leman维数。 CoRR公司 腹肌/2003.13745 ( 2020 ) [i25] 莫里茨·利希特 , 帕斯卡·施韦策 :
无选择多项式时间中有界和二面体颜色类的标准化。 CoRR公司 abs/2010.12182 ( 2020 ) 【i24】 马库斯·安德斯 , 帕斯卡·施韦策 :
对称树中的搜索问题:个性化重定义算法的近似最优遍历策略。 CoRR公司 abs/2011.01726 ( 2020 ) [第23条] 马库斯·安德斯 , 帕斯卡·施韦策 :
设计快速概率同构测试。 CoRR公司 abs/2011.09375 ( 2020 ) [i22] 马丁·格罗 , 帕斯卡·施韦策 , 丹尼尔·威布金 :
有界Hadwiger数图的自同构群。 CoRR公司 abs/2012.14300 ( 2020 )
2010 – 2019
2019 [公元23年] 桑德拉·基弗 , 伊利亚·波诺马连科 , 帕斯卡·施韦策 :
平面图的Weisfeiler-Leman维数最多为3。 美国临床医学杂志 66 ( 6 ) : 44:1-44:31 ( 2019 ) [公元22年] 桑德拉·基弗 , 帕斯卡·施韦策 :
一阶逻辑图微分量词深度的上界。 日志。 方法计算。 科学。 15 ( 2 ) ( 2019 ) [公元30年] 莫里茨·利希特 , 伊利亚·波诺马连科 , 帕斯卡·施韦策 :
行走细化、行走逻辑和Weisfeiler-Leman算法的迭代次数。 许可证 2019 : 1月13日 [公元29年] 帕斯卡·施韦策 , 丹尼尔·威布金 :
一种统一的方法,用于设计标准化组合对象的算法。 STOC公司 2019 : 1247-1258 【i21】 莫里茨·利希特 , 伊利亚·波诺马连科 , 帕斯卡·施韦策 :
行走细化、行走逻辑和Weisfeiler-Leman算法的迭代次数。 CoRR公司 abs/1905.03008 ( 2019 ) 2018 [公元21年] 雷米·贝尔蒙特 , 尤塔·奥塔奇 , 帕斯卡·施韦策 :
诱导次自由图:同构和Clique-Width。 算法 80 ( 1 ) : 29-47 ( 2018 ) [公元28年] 马丁·格罗 , 丹尼尔·诺恩 , 帕斯卡·施韦策 :
小度图的快速同构检验。 光纤通信系统 2018 : 89-100 [公元27年] 马丁·格罗 , 丹尼尔·诺恩 , 帕斯卡·施韦策 , 丹尼尔·威布金 :
有界树宽度图的改进同构检验。 ICALP公司 2018 : 67:1-67:14 [c26] Masashi Kiyomi先生 , 小野博孝 , 尤塔·奥塔奇 , 帕斯卡·施韦策 , Jun Tarui先生 :
最长增加子序列的空间效率算法。 STACS公司 2018 : 44:1-44:15 [公元25年] 丹尼尔·诺恩 , 帕斯卡·施韦策 :
图同构的个性化重定义算法的指数下界。 STOC公司 2018 : 138-150 [i20] 马丁·格罗 , 丹尼尔·诺恩 , 帕斯卡·施韦策 :
有界度图的快速同构测试。 CoRR公司 腹肌/1802.04659 ( 2018 ) [i19] 马丁·格罗 , 丹尼尔·诺恩 , 帕斯卡·施韦策 , 丹尼尔·威布金 :
有界无宽度图的改进同构检验。 CoRR公司 abs/1803.06858 ( 2018 ) [i18] 帕斯卡·施韦策 , 丹尼尔·威布金 :
一种统一的方法,用于设计标准化组合对象的算法。 CoRR公司 abs/1806.07466 ( 2018 ) 2017 [公元20年] 斯特凡·克拉奇 , 帕斯卡·施韦策 :
具有两个禁止诱导子图的图类的图同构。 谨慎。 申请。 数学。 216 : 240-253 ( 2017 ) [公元19年] 帕斯卡·施韦策 , 帕特里克·施韦策 :
最小非对称图。 J.库姆。 理论,Ser。 B类 127 : 215-227 ( 2017 ) [公元18年] 帕斯卡·施韦策 :
遗传图类的同构二分法。 理论计算。 系统。 61 ( 4 ) : 1084-1127年 ( 2017 ) [公元17年] 迈克尔·埃尔伯菲尔德 , 帕斯卡·施韦策 :
Logspace中有界树宽度图的规范化。 ACM事务处理。 计算。 理论 9 ( 三 ) : 12:1-12:29 ( 2017 ) [公元24年] 丹尼尔·诺恩 , 帕斯卡·施韦策 :
实用图同构的基准图。 欧洲航天局 2017 : 60:1-60:14 【c23】 帕斯卡·施韦策 :
竞赛图同构到竞赛图不对称的多项式时间随机约简。 ICALP公司 2017 : 66分66秒14 [公元22年] 桑德拉·基弗 , 伊利亚·波诺马连科 , 帕斯卡·施韦策 :
平面图的Weisfeiler-Leman维数最多为3。 许可证 2017 : 1-12 [i17] 帕斯卡·施韦策 :
从竞赛同构到竞赛不对称的多项式时间随机约简。 CoRR公司 abs/1704.08529 ( 2017 ) [i16] 丹尼尔·诺恩 , 帕斯卡·施韦策 :
图同构的个性化定义算法的指数下界。 CoRR公司 abs/1705.03283 ( 2017 ) 【i15】 丹尼尔·诺恩 , 帕斯卡·施韦策 :
实用图同构的基准图。 CoRR公司 abs/1705.03686 ( 2017 ) [第14条] 桑德拉·基弗 , 伊利亚·波诺马连科 , 帕斯卡·施韦策 :
平面图的Weisfeiler-Leman维数最多为3。 CoRR公司 abs/1708.07354 ( 2017 ) [i13] Masashi Kiyomi先生 , 小野弘太郎 , 尤塔·奥塔奇 , 帕斯卡·施韦策 , Jun Tarui先生 :
最长递增子序列的空间有效算法。 CoRR公司 腹肌/1712.09230 ( 2017 ) 2016 [公元16年] 马丁·格罗 , 帕斯卡·施韦策 :
使用Tangles进行计算。 SIAM J.谨慎。 数学。 30 ( 2 ) : 1213-1247 ( 2016 ) 【c21】 李文超 , 侯赛因·赛迪 , 华斯卡·桑切斯 , 马丁·施瓦夫 , 帕斯卡·施韦策 :
通过Weisfeiler-Leman图内核检测类似程序。 ICSR公司 2016 : 315-330 [公元20年] 桑德拉·基弗 , 帕斯卡·施韦策 :
一阶逻辑图微分量词深度的上界。 许可证 2016 : 287-296 [第19条] 迈克尔·埃尔伯菲尔德 , 帕斯卡·施韦策 :
Logspace中有界树宽度图的规范化。 STACS公司 2016 : 32:1-32:14 [i12] 桑德拉·基弗 , 帕斯卡·施韦策 :
一阶逻辑中图微分的量词深度的上界。 CoRR公司 abs/1605.03480 ( 2016 ) [i11] 雷米·贝尔蒙特 , 尤塔·奥塔奇 , 帕斯卡·施韦策 :
诱导次自由图:同构和Clique-width。 CoRR公司 abs/1605.08540 ( 2016 ) [i10] 斯皮罗斯·安吉洛普洛斯 , 马克·雷诺 , 帕斯卡·施韦策 :
在线算法的随机优势和双射比。 CoRR公司 abs/1607.06132 ( 2016 ) 2015 [公元15年] Seok-Hee Hong先生 , 彼得·伊德斯 , 加藤直树 , 朱塞佩·利奥塔 , 帕斯卡·施韦策 , 铃木优助 :
用于测试外平面度的线性时间算法。 算法 72 ( 4 ) : 1033-1054 ( 2015 ) [第18条] 马丁·格罗 , 帕斯卡·施韦策 :
有界秩宽图的同构检验。 光纤通信系统 2015 : 1010-1029 [第17条] 桑德拉·基弗 , 帕斯卡·施韦策 , 埃尔卡尔·塞尔曼 :
逻辑识别的图形,带计数。 MFCS(1) 2015 : 319-330 [第16条] 帕斯卡·施韦策 :
遗传图类的同构二分法。 STACS公司 2015 : 689-702 [第15条] 马丁·格罗 , 帕斯卡·施韦策 :
使用Tangles进行计算。 STOC公司 2015 : 683-692 [第14条] 雷米·贝尔蒙特 , 尤塔·奥塔奇 , 帕斯卡·施韦策 :
诱导次自由图:同构和Clique-width。 工作组 2015 : 299-311 [第九章] 马丁·格罗 , 帕斯卡·施韦策 :
使用Tangles进行计算。 CoRR公司 abs/1503.00190 ( 2015 ) [i8] 桑德拉·基弗 , 帕斯卡·施韦策 , 埃尔卡尔·塞尔曼 :
逻辑识别的图形,带计数。 CoRR公司 abs/1503.08792 ( 2015 ) [i7] 马丁·格罗 , 帕斯卡·施韦策 :
有界秩宽图的同构检验。 CoRR公司 abs/1505.03737 ( 2015 ) [i6] 迈克尔·埃尔伯菲尔德 , 帕斯卡·施韦策 :
Logspace中有界树宽度图的规范化。 CoRR公司 abs/1506.07810 ( 2015 ) [i5] 拉兹洛巴拜 , 阿努杰·达瓦尔 , 帕斯卡·施韦策 , 雅各布·托兰 :
图同构问题(Dagstuhl研讨会15511)。 达格斯图尔报告 5 ( 12 ) : 1-17 ( 2015 ) 2014 [公元14年] 布伦丹·D·麦凯 , 帕斯卡·施韦策 :
有向图的切换重建。 J.图论 76 ( 4 ) : 279-296 ( 2014 ) [j13] 布伦丹·D·麦凯 , 帕斯卡·施韦策 , 帕特里克·施韦策 :
竞争数,拟线图和洞。 SIAM J.谨慎。 数学。 28 ( 1 ) : 77-91 ( 2014 ) [第13条] 浅野忠雄 , 岩井大辅 , Masashi Kiyomi先生 , 松尾Konagaya , 小野弘太郎 , 尤塔·奥塔奇 , 帕斯卡·施韦策 , Jun Tarui先生 , 上原龙平 :
深度优先搜索使用O(n)位。 国际会计准则委员会 2014 : 553-564 [第12条] 尤塔·奥塔奇 , 帕斯卡·施韦策 :
宽度参数背景下的图同构约简技术。 重拍 2014 : 368-379 [i4] 尤塔·奥塔奇 , 帕斯卡·施韦策 :
宽度参数背景下的图同构约简技术。 CoRR公司 abs/1403.7238 ( 2014 ) [i3] 帕斯卡·施韦策 :
遗传图类的同构二分法。 CoRR公司 abs/1411.1977 ( 2014 ) 2013 [公元12年] 帕斯卡·施韦策 :
迭代开邻域图及其推广。 谨慎。 申请。 数学。 161 ( 10-11 ) : 1598年至1609年 ( 2013 ) [公元11年] 安杰洛普洛斯Spyros Angelopoulos , 帕斯卡·施韦策 :
双向分析下的寻呼和列表更新。 美国临床医学杂志 60 ( 2 ) : 7:1-7:18 ( 2013 ) [公元10年] 梁伟发 , 帕斯卡·施韦策 , 徐子川 :
具有移动接收器的无线传感器网络中电容最小森林问题的近似算法。 IEEE传输。 计算机 62 ( 10 ) : 1932-1944 ( 2013 ) [公元9年] 彼得·伊德斯 , Seok-Hee Hong先生 , 加藤直树 , 朱塞佩·利奥塔 , 帕斯卡·施韦策 , 铃木优助 :
用旋转系统测试图的最大1-平面性的线性时间算法。 西奥。 计算。 科学。 513 : 65-76 ( 2013 ) [第11条] 徐熙康 , 彼得·伊德斯 , 加藤直树 , 朱塞佩·利奥塔 , 帕斯卡·施韦策 , 铃木优助 :
用于测试外平面度的线性时间算法。 GD公司 2013 : 71-82 [第10条] 尤塔·奥塔奇 , 帕斯卡·施韦策 :
子图闭图类上的同构:一个复杂的二分法和中间图类。 国际会计准则委员会 2013 : 111-118 2012 [j8] 妮可·梅高 , 库尔特·梅尔霍恩 , 帕斯卡·施韦策 :
在线图形探索:新旧算法的新结果。 西奥。 计算。 科学。 463 : 62-72 ( 2012 ) [c9] 彼得·伊德斯 , Seok-Hee Hong先生 , 加藤直树 , 朱塞佩·利奥塔 , 帕斯卡·施韦策 , 铃木优助 :
用线性时间旋转系统测试图的最大1-平面性(扩展抽象)。 GD公司 2012 : 339-345 【c8】 克里斯蒂亚诺·贝尔托里尼 , 马丁·施瓦夫 , 帕斯卡·施韦策 :
不可行代码检测。 VSTTE公司 2012 : 310-325 【c7】 斯特凡·克拉奇 , 帕斯卡·施韦策 :
由两个禁止诱导子图表征的图类的图同构。 工作组 2012 : 34-45 [i2] 帕斯卡·施韦策 :
关于无扭群群环中具有小支撑的零除子。 CoRR公司 abs/1202.6645 ( 2012 ) [i1] 斯特凡·克拉奇 , 帕斯卡·施韦策 :
具有两个禁止诱导子图特征的图类的图同构。 CoRR公司 abs/1208.0142 ( 2012 ) 2011 [j7] 罗斯·M·麦康奈尔 , 库尔特·梅尔霍恩 , 斯特凡·纳什 , 帕斯卡·施韦策 :
验证算法。 计算。 科学。 版次。 5 ( 2 ) : 119-161 ( 2011 ) [j6] 埃亚德·阿尔卡萨 , 萨沙·伯姆 , 库尔特·梅尔霍恩 , 克里斯汀·里兹卡拉 , 帕斯卡·施韦策 :
认证算法简介。 信息技术。 53 ( 6 ) : 287-293 ( 2011 ) [j5] 尼诺·谢瓦希泽 , 帕斯卡·施韦策 , 埃里克·扬·范·列文 , 库尔特·梅尔霍恩 , 卡斯滕·博格沃德 :
Weisfeiler-Lehman图核。 J.马赫。 学习。 物件。 12 : 2539-2561 ( 2011 ) 【c6】 帕斯卡·施韦策 :
(mis)标记图的同构。 欧洲航天局 2011 : 370-381 【c5】 妮可·梅高 , 库尔特·梅尔霍恩 , 帕斯卡·施韦策 :
在线图形探索:新旧算法的新结果。 ICALP(二) 2011 : 478-489 2010 【j4】 帕斯卡·施韦策 , 帕特里克·施韦策 :
连接平面图中的面碰撞集。 信息处理。 莱特。 111 ( 1 ) : 11-15 ( 2010 ) [j3] 蒙奇尔·鲁西诺夫 , 帕斯卡·施韦策 :
同态同胚图。 J.图论 65 ( 三 ) : 253-262 ( 2010 ) 【c4】 库尔特·梅尔霍恩 , 帕斯卡·施韦策 :
认证算法的进展。 一汽 2010 : 1-5 【c3】 斯特凡·克拉奇 , 帕斯卡·施韦策 :
有界反馈顶点集数图的同构。 重拍 2010 : 81-92
2000 – 2009
2009 [注2] 帕斯卡·施韦策 :
使用不可压缩方法获得Ramsey型问题的局部引理结果。 信息处理。 莱特。 109 ( 4 ) : 229-232 ( 2009 ) 【c2】 安杰洛普洛斯Spyros Angelopoulos , 帕斯卡·施韦策 :
双向分析下的寻呼和列表更新。 SODA公司 2009 : 1136-1145 2008 [j1] 彼得·卡梅隆 , 丹尼尔·约翰森 , 托马斯·普雷尔伯格 , 帕斯卡·施韦策 :
计算故障停车功能。 电子。 J.库姆。 15 ( 1 ) ( 2008 ) 2007 【c1】 马丁·库茨 , 帕斯卡·施韦策 :
ScrewBox:一种随机认证图的非同构算法。 亚历克斯 2007