彼得·沃伊切乔夫斯基(Piotr Wojciechowski) 0002
人员信息
附属: 西弗吉尼亚大学,LDCSEE,美国西弗吉尼亚州摩根敦
其他同名人员
彼得亚·沃伊切乔夫斯基(Piotr J.Wojciechowski) (又名:Piotr Wojciechowski) 0001 ) -德克萨斯大学埃尔帕索分校,数学科学系,德克萨斯州,美国 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) 0003 -波兰华沙大学化学系
优化列表
2020年–今天
2024 [公元31年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 阿尔瓦罗·贝拉斯克斯 , 巴格拉·恰斯库鲁 :
具有子集约束的基于优先级的装箱。 谨慎。 申请。 数学。 342 : 64-75 ( 2024 ) 【j30】 K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束系统中的约束只读反驳:一个并行的观点。 数学。 结构。 计算。 科学。 34 ( 三 ) : 227-243 ( 2024 ) [公元29年] 瓦汉·姆克尔奇扬 , Garik Petrosyan公司 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
关于二部图中的部分顶点覆盖问题——参数化的观点。 理论计算。 系统。 68 ( 1 ) : 122-143 ( 2024 ) 2023 [公元28年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
使用位缩放的UTVPI约束中的整数可行性和拒绝。 算法 85 ( 2 ) : 610-637 ( 2023 ) [公元27年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 阿尔瓦罗·贝拉斯克斯 :
选择网络中的可达性。 谨慎。 最佳方案。 48 ( 第1部分 ) : 100761 ( 2023 ) [公元26年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
整数规划的最优长度割平面反驳。 谨慎。 最佳方案。 50 : 100806 ( 2023 ) [公元25年] 阿尔瓦罗·贝拉斯克斯 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
区间约束图和基数约束图中的可达性问题。 谨慎。 数学。 算法应用。 15 ( 4 ) : 2250110:1-2250110:26 ( 2023 ) [公元24年] 阿尔瓦罗·贝拉斯克斯 , 伊斯梅尔·阿尔库里 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 乔治·K·阿蒂亚 :
基于稳态分布的最优确定性控制器综合。 J.自动化。 原因。 67 ( 1 ) : 7 ( 2023 ) [公元23年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
差分约束系统的单元只读拒绝。 理论计算。 系统。 67 ( 4 ) : 877-899 ( 2023 ) [公元39年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
整数规划的最优长度割平面反驳。 卡尔达姆 2023 : 15-27 [公元38年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束下只读整数拒绝问题的参数化精确指数算法。 可可豆(2) 2023 : 377-389 [公元37年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
差分约束系统的单元拒绝。 ECAI公司 2023 : 2226-2233 [公元36年] 斯坦利·贝克 , 泰勒·多曼 , K.Subramani公司 , 阿什图什·特里维迪 , 阿尔瓦罗·贝拉斯克斯 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
用于验证神经网络的八面体抽象域。 FM公司 2023 : 454-472 [公元35年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
确定BTVPI约束系统线性可行性的快速算法。 SOFSEM公司 2023 : 313-327 2022 [公元22年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
在2CNF公式中寻找一个只读解析反驳的参数化精确算法。 安。数学。 Artif公司。 智力。 90 ( 1 ) : 3-29 ( 2022 ) [公元21年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
关于树状和Dag状切割平面的长度反驳了Horn约束系统。 安。数学。 Artif公司。 智力。 90 ( 10 ) : 979-998 ( 2022 ) [公元20年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 马修·威廉姆森 , K.Subramani公司 :
电弧相关网络中优化问题的分析。 谨慎。 最佳方案。 45 : 100729 ( 2022 ) [公元19年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , R.钱德拉塞卡兰 :
喇叭系统中读切面证明的分析。 J.自动化。 原因。 66 ( 2 ) : 239-274 ( 2022 ) [公元18年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 英生 :
Horn约束系统中的只读反驳:一种算法方法。 J.日志。 计算。 32 ( 4 ) : 667-696 ( 2022 ) [公元17年] 阿尔瓦罗·贝拉斯克斯 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
关于最小停止集和陷阱集问题的复杂性及其解。 理论。 计算。 科学。 915 : 26-44 ( 2022 ) [公元34年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 阿尔瓦罗·贝拉斯克斯 :
基于优先级的箱子包装的新结果。 ALGOCLOUD公司 2022 : 58-72 [公元33年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 阿尔瓦罗·贝拉斯克斯 , 马修·威廉姆森 :
弧相关网络中路径和循环问题的近似性。 卡尔达姆 2022 : 292-304 [公元32年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 阿尔瓦罗·贝拉斯克斯 :
选择网络中的可达性问题分析。 CPAIOR公司 2022 : 408-423 [公元31年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
Horn约束系统中读一次拒绝的精确和参数化算法。 LFCS公司 2022 : 327-345 [公元30年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束系统中约束读一次拒绝的并行复杂性。 TAMC公司 2022 : 293-304 2021 [公元16年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 马修·威廉姆森 :
UTVPI约束中线性不可行的最优长度树状反驳的多项式时间算法。 谨慎。 申请。 数学。 305 : 272-294 ( 2021 ) [公元15年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
关于UTVPI+约束系统中只读反驳的参数化复杂性。 理论。 计算。 科学。 883 : 1-18 ( 2021 ) [公元14年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
复制Horn公式相对于单元读-写分辨率的复杂性。 理论。 计算。 科学。 890 : 70-86 ( 2021 ) [公元29年] 乌特库·乌穆尔·阿奇卡林 , 巴格拉·恰斯库鲁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
数据库迁移中测试成本最小化的新结果。 ALGOCLOUD公司 2021 : 38-55 [公元28年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 阿尔瓦罗·贝拉斯克斯 , 巴格拉·恰斯库鲁 :
基于优先级的装箱算法分析。 卡尔达姆 2021 : 359-372 [公元27年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 阿尔瓦罗·贝拉斯克斯 :
宽度3角约束系统的复制复杂性。 FroCoS公司 2021 : 63-78 [公元26年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
分析差分约束系统中的单元读入拒绝。 杰莉亚 2021 : 147-161 [公元25年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
喇叭约束系统中的树状单元避难所。 拉丁美洲旅游协会 2021 : 226-237 2020 [j13] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
关于单位二元系统中每个不等式约束的整数闭包。 安。数学。 Artif公司。 智力。 88 ( 10 ) : 1101-1118 ( 2020 ) [公元12年] 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
NAE-消解:一种新的消解反驳技术,用于证明非等式不满足性。 数学。 结构。 计算。 科学。 30 ( 7 ) : 736-751 ( 2020 ) [公元11年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , R.Chandrasekaran先生 , K.Subramani公司 :
分析分数Horn约束系统。 理论。 计算。 科学。 844 : 142-153 ( 2020 ) [公元24年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
关于单元读取分辨率和复制复杂性。 可可 2020 : 273-288 【c23】 K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
在2CNF公式和变体中找到只读反驳——一个参数化的观点。 ISAIM公司 2020 [公元22年] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 马修·威廉姆森 , K.Subramani公司 :
关于在弧相关网络中查找最短路径。 国际标准化组织 2020 : 249-260 【c21】 瓦汉·姆克尔奇扬 , Garik Petrosyan公司 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
二部图中部分顶点覆盖的参数化算法。 IWOCA公司 2020 : 395-408
2010 – 2019
2019 [公元10年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
用于UTVPI约束中线性不可行性的一次读取证明的多项式时间算法。 算法 81 ( 7 ) : 2765-2794 ( 2019 ) [公元20年] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束中整数不可行性的图形分析。 AI*IA公司 2019 : 223-234 [第19条] 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
Horn公式中的读取分辨率。 一汽 2019 : 100-110 [第18条] 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , R.Chandrasekaran先生 , K.Subramani公司 :
喇叭约束系统中的受限切割平面证明。 FroCos公司 2019 : 149-164 [第17条] 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
喇叭约束系统割平面证明的新结果。 FSTTCS公司 2019 : 43:1-43:14 [第16条] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束中线性不可行性的只读证明。 TAMC公司 2019 : 578-593 2018 [公元9年] 詹姆斯·奥林 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
寻找网络中最短负成本周期的随机算法。 谨慎。 申请。 数学。 236 : 387-394 ( 2018 ) [j8] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束系统中格点可行性的证明算法。 J.库姆。 最佳方案。 35 ( 2 ) : 389-408 ( 2018 ) [j7] 汉斯·克莱恩·布宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
在2CNF子句系统中寻找只读解决反驳。 理论。 计算。 科学。 729 : 42-56 ( 2018 ) [第15条] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 扎卡里·桑特 , 马修·安德森 :
UTVPI约束条件下可行性检验算法的实证分析。 AAIM公司 2018 : 111-123 [c14] 巴格拉·恰斯库鲁 , 马修·威廉姆森 , K.Subramani公司 , 瓦汉·姆克尔奇扬 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
加权差分约束系统中拒绝的一种完全多项式时间近似方案。 卡尔达姆 2018 : 45-58 [第13条] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 马修·威廉姆森 :
UTVPI约束下线性可行性的最优长度树状反驳。 常见问题 2018 : 300-314 2017 [j6] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束下线性可行性的组合证明算法。 算法 78 ( 1 ) : 166-208 ( 2017 ) [j5] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 帕夫洛斯·艾里纳基斯 , K.Subramani公司 :
分析线性算术理论的限制片段。 安。数学。 Artif公司。 智力。 79 ( 1-3 ) : 245-266 ( 2017 ) 【j4】 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 帕夫洛斯·艾里纳基斯 , K.Subramani公司 :
勘误表:分析线性算术理论的限制片段。 安。数学。 Artif公司。 智力。 79 ( 4 ) : 371-392 ( 2017 ) [第12条] K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束中格点的可行性分析。 人物配对关系 2017 : 615-629 [第11条] 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 拉马斯瓦米·钱德拉塞卡兰 , K.Subramani公司 :
关于Horn约束系统的推广。 企业社会责任 2017 : 323-336 [第10条] 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
查找只读NAE-Resolution Refutations的复杂性。 ICLA公司 2017 : 64-76 【c9】 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
2CNF公式中一次读取分辨率决定的计算复杂性。 TAMC公司 2017 : 362-372 2016 【c8】 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 帕夫洛斯·埃里纳基斯 :
关于量化整数规划变量的计算复杂性。 ISAIM公司 2016 【c7】 K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束中整数可行性的位标度算法。 伊沃卡 2016 : 321-333 【c6】 瓦希德·哈希米 , 霍尔格·赫尔曼斯 , 雷松 , K.Subramani公司 , 安德烈亚·图里尼 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
区间马尔可夫决策过程的合成互模拟最小化。 拉丁美洲旅游协会 2016 : 114-126 【c5】 阿尔瓦罗·贝拉斯克斯 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 , 史蒂文·德拉格 , 苏米特·库马尔Jha :
基数约束路径问题:异构通信网络中的多播数据路由。 国家协调局 2016 : 126-130 【c4】 K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
一种计算UTVPI约束整数闭包的优化算法。 WALCOM公司 2016 : 154-165 [i1] 汉斯·克莱恩·勃宁 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , K.Subramani公司 :
关于2CNF公式中一次读取分辨率可判定性的计算复杂性。 CoRR公司 abs/1610.04523 ( 2016 ) 2015 【c3】 K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
UTVPI约束的替代图形定理。 ICTAC公司 2015 : 328-345 2014 [j3] 帕夫洛斯·艾里纳基斯 , 萨尔瓦托·鲁杰里 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
关于量化的线性含义。 安。数学。 Artif公司。 智力。 71 ( 4 ) : 301-325 ( 2014 ) [注2] 萨尔瓦托雷·鲁杰里 , 帕夫洛斯·艾里纳基斯 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
关于量化线性系统的复杂性。 理论。 计算。 科学。 518 : 128-134 ( 2014 ) 【c2】 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 帕夫洛斯·艾里纳基斯 , K.Subramani公司 :
量化线性规划和量化线性蕴涵的变体。 ISAIM公司 2014 2012 [j1] 帕夫洛斯·艾里纳基斯 , 萨尔瓦托·鲁杰里 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
参数化线性约束蕴含的复杂性观点。 制约国际期刊。 17 ( 4 ) : 461-487 ( 2012 ) [c1] 帕夫洛斯·艾里纳基斯 , 萨尔瓦托·鲁杰里 , K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) :
多面体集上包含查询的计算复杂性。 ISAIM公司 2012