维克托·达尔摩
人员信息
附属: 西班牙巴塞罗那蓬佩法布拉大学
优化列表
2020年–今天
2024 [公元31年] 西尔维娅·布蒂 , 维克托·达尔摩 :
分布式约束满足问题的复杂性。 理论计算。 系统。 68 ( 4 ) : 838-867 ( 2024 ) 【j30】 维克托·达尔摩 , 安德烈·克鲁金 , Jakub Oprsal公司 :
关系结构上同时接受左右副词的函数。 SIAM J.谨慎。 数学。 38 ( 三 ) : 2041-2068 ( 2024 ) [公元46年] 打捆机十类 , 维克托·达尔摩 , Phokion G.Kolaitis公司 , 吴伟林 :
同态计数在查询算法中何时起作用? ICDT公司 2024 : 8:1-8:20 [公元45年] 打捆机十类 , 维克托·达尔摩 , Jakub Oprsal公司 :
数据日志程序的右副词。 ICDT公司 2024 : 10:1-10:20 [公元44年] 维克托·达尔摩 , Jakub Oprsal公司 :
局部一致性是约束满足问题之间的简化。 低收入国家 2024 : 29:1-29:15 [第28条] 利伯·巴托 , 西尔维娅·布蒂 , 维克托·达尔摩 :
(承诺值)约束满足问题中的Sherali-Adams和Weisfeiler-Leman层次结构。 CoRR公司 abs/2401.16998 ( 2024 ) [i27] 克里斯蒂娜·阿西米 , 利博尔·巴托 , 维克托·达尔摩 :
从另一方面看承诺约束满足问题的复杂性。 CoRR公司 abs/2402.06821 ( 2024 ) 2023 [公元43年] 打捆机十类 , 维克托·达尔摩 , 莫里斯·芬克 , 卡斯滕·卢茨 :
连接查询的极值拟合问题。 豆荚 2023 : 89-98 [i26] 维克托·达尔摩 , Jakub Oprsal公司 :
局部一致性是约束满足问题之间的简化。 CoRR公司 abs/2301.05084 ( 2023 ) [i25] 打捆机十类 , 维克托·达尔摩 , Jakub Oprsal公司 :
数据日志程序的右伴随,以及受限类上的同态对偶。 CoRR公司 abs/2302.06366 ( 2023 ) 【i24】 维克托·达尔摩 , 安德烈·克鲁金 , Jakub Oprsal公司 :
关系结构上既允许左伴随词也允许右伴随词的函数。 CoRR公司 abs/2302.13657 ( 2023 ) [第23条] 打捆机十类 , 维克托·达尔摩 , Phokion G.Kolaitis公司 , 吴伟林 :
同态计数对查询算法有什么帮助? CoRR公司 abs/2304.06294 ( 2023 ) 2022 [公元29年] 打捆机十类 , 维克托·达尔摩 :
连接查询:独特的特征和精确的可学习性。 ACM事务处理。 数据库系统。 47 ( 4 ) : 14:1-14:41 ( 2022 ) [公元42年] 阿尔伯特·阿塞里亚斯 , 维克托·达尔摩 :
承诺约束满足和宽度。 SODA公司 2022 : 1129-1153 [i22] 打捆机十类 , 维克托·达尔摩 , 莫里斯·芬克 , 卡斯滕·卢茨 :
连接查询的极值拟合问题。 CoRR公司 abs/2206.05080 ( 2022 ) 2021 [公元28年] 巴勃罗·巴塞洛 , 亚历山大·鲍姆加特纳 , 维克托·达尔摩 , 本尼·基梅尔菲尔德 :
正则化连接特征以进行分类。 J.计算。 系统。 科学。 119 : 97-124 ( 2021 ) [j27] 雷蒙多·布里塞诺 , 安德烈·布拉托夫 , 维克托·达尔摩 , 贝诺·拉罗泽 :
关系结构中的可拆卸性、连通性和混合性。 J.库姆。 理论B 147 : 37-70 ( 2021 ) [公元41年] 打捆机十类 , 维克托·达尔摩 :
连接查询:独特的特征和精确的可学习性。 ICDT公司 2021 : 9:1-9:24 [公元40年] 西尔维娅·布蒂 , 维克托·达尔摩 :
约束满足问题的分数同态、Weisfeiler-Leman不变性和Sherali-Adams层次。 多功能控制系统 2021 : 27:1-27:19 [c39] 西尔维娅·布蒂 , 维克托·达尔摩 :
分布式约束满足问题的复杂性。 STACS公司 2021 : 20:1-20:18 【i21】 西尔维娅·布蒂 , 维克托·达尔摩 :
约束满足问题的分数同态、Weisfeiler-Leman不变性和Sherali-Adams层次结构。 CoRR公司 abs/2107.02956 ( 2021 ) [i20] 阿尔伯特·阿塞里亚斯 , 维克托·达尔摩 :
承诺约束满足和宽度。 CoRR公司 abs/2107.05886 ( 2021 ) 2020 [公元38年] 巴勃罗·巴塞洛 , 维克托·达尔摩 , 克里斯蒂娜·费尔 , 卡斯滕·卢茨 , 安德烈亚斯·皮利斯 :
保护TGD下开放和封闭世界查询评估的效率限制。 豆荚 2020 : 259-270 [i19] 西尔维娅·布蒂 , 维克托·达尔摩 :
分布式约束满足问题的复杂性。 CoRR公司 abs/2007.13594 ( 2020 ) [i18] 打捆机十类 , 维克托·达尔摩 :
连接查询:独特的特征和精确的可学习性。 CoRR公司 abs/2008.06824 ( 2020 )
2010 – 2019
2019 [公元26年] 维克托·达尔摩 , 马金·科齐克 , 安德烈·克鲁金 , 康斯坦丁·马卡里切夫 , 尤里·马卡里切夫 , 雅克布·奥普索尔 :
近一致CSP的多项式损失鲁棒算法。 SIAM J.计算。 48 ( 6 ) : 1763-1795 ( 2019 ) [公元37年] 雷蒙多·布里塞诺 , 安德烈·布拉托夫 , 维克托·达尔摩 , 贝诺·拉罗泽 :
关系结构中的可拆卸性、连通性和混合性。 ICALP公司 2019 : 29:1-29:15 [公元36年] 巴勃罗·巴塞洛 , 亚历山大·鲍姆加特纳 , 维克托·达尔摩 , 本尼·基梅尔菲尔德 :
正则化用于分类的连接特征。 豆荚 2019 : 2-16 [i17] 雷蒙多·布里塞诺 , 安德烈·布拉托夫 , 维克托·达尔摩 , 贝诺·拉罗泽 :
关系结构中的长期行为、连通性和可拆卸性。 CoRR公司 abs/1901.04398 ( 2019 ) [i16] 巴勃罗·巴塞洛 , 维克托·达尔摩 , 克里斯蒂娜·费尔 , 卡斯滕·卢茨 , 安德烈亚斯·皮利斯 :
保护TGD下开放和封闭世界查询评估的效率限制。 CoRR公司 abs/1912.12442 ( 2019 ) 2018 [公元25年] 维克托·达尔摩 , 安德烈·克鲁金 , 拉杰卡·马诺卡兰 :
研究常数近似有限值CSP的特征。 J.计算。 系统。 科学。 97 : 14-27 ( 2018 ) 2017 [公元35年] 维克托·达尔摩 :
约束之间的连接。 人物配对关系 2017 : 80-96 [公元34年] 维克托·达尔摩 , 马金·科齐克 , 安德烈·克鲁金 , 康斯坦丁·马卡里切夫 , 尤里·马卡里切夫 , Jakub Oprsal公司 :
近一致CSP的多项式损失鲁棒算法。 SODA公司 2017 : 340-357 【i15】 维克托·达尔摩 :
约束之间的连接。 CoRR公司 abs/1706.05059 ( 2017 ) 2016 [公元24年] 曼纽尔·博德斯基 , 维克托·达尔摩 , 巴纳比·马丁 , 安托万·莫特特 , 迈克尔·平斯克 :
距离约束满足问题。 Inf.计算。 247 : 87-105 ( 2016 ) [j23] 胡比·陈 , 维克托·达尔摩 :
分解量化关联(或析取)公式。 SIAM J.计算。 45 ( 6 ) : 2066-2086 ( 2016 ) [第14条] 维克托·达尔摩 , 马金·科齐克 , 安德烈·克鲁金 , 康斯坦丁·马卡里切夫 , 尤里·马卡里切夫 , Jakub Oprsal公司 :
近一致CSP的多项式损失鲁棒算法。 CoRR公司 abs/1607.04787 ( 2016 ) [i13] 维克托·达尔摩 , 安德烈·克鲁金 , 拉杰卡·马诺卡兰 :
常数因子近似有限值CSP的表征。 CoRR公司 abs/1610.01019 ( 2016 ) 2015 [公元33年] 打捆机十类 , 维克托·达尔摩 :
产品同态问题及其应用。 ICDT公司 2015 : 161-176 [公元32年] 维克托·达尔摩 , 拉斯洛·埃格里 , 帕沃地狱 , 贝诺·拉罗泽 , 阿拉什·拉菲伊 :
对数空间中列表H-着色问题的描述复杂性:一种改进的二分法。 低收入国家 2015 : 487-498 [公元31年] 维克托·达尔摩 , 安德烈·克鲁金 , 拉杰卡·马诺卡兰 :
常数因子近似最小CSP的表征。 SODA公司 2015 : 847-857 2013 [公元22年] 曼纽尔·博德斯基 , 维克托·达尔摩 :
无限模板的数据日志和约束满足。 J.计算。 系统。 科学。 79 ( 1 ) : 79-100 ( 2013 ) [公元21年] 胡比·陈 , 维克托·达尔摩 , 贝里特·格鲁(Berit Grußien) :
弧线一致性和朋友。 J.日志。 计算。 23 ( 1 ) : 87-108 ( 2013 ) [公元20年] 维克托·达尔摩 , 安德烈·克鲁金 :
CSP的鲁棒可满足性:硬度和算法结果。 ACM事务处理。 计算。 理论 5 ( 4 ) : 15:1-15:25 ( 2013 ) [公元19年] 打捆机十类 , 维克托·达尔摩 , Phokion G.Kolaitis公司 :
学习模式映射。 ACM事务处理。 数据库系统。 38 ( 4 ) : 28 ( 2013 ) [公元30年] 安德烈·布拉托夫 , 维克托·达尔摩 , 马克·瑟利 :
近似计数CSP的描述复杂性。 CSL公司 2013 : 149-164 2012 [公元18年] 安德烈·布拉托夫 , 维克托·达尔摩 , 马丁·格罗 , 达尼尔·马克思 :
枚举同态。 J.计算。 系统。 科学。 78 ( 2 ) : 638-650 ( 2012 ) [公元29年] 打捆机十类 , 维克托·达尔摩 , Phokion G.Kolaitis公司 :
学习模式映射。 ICDT公司 2012 : 182-195 [公元28年] 胡比·陈 , 维克托·达尔摩 :
分解量化关联(或析取)公式。 低收入国家 2012 : 205-214 [i12] 打捆机十类 , 维克托·达尔摩 :
关于乘积同态问题和CQ可定义性的注记。 CoRR公司 abs/1212.3534 ( 2012 ) 2011 [公元17年] 卡塔琳娜·卡瓦略 , 维克托·达尔摩 , 安德烈·克鲁金 :
两个新的同态对偶和格运算。 J.日志。 计算。 21 ( 6 ) : 1065-1092 ( 2011 ) [i11] 胡比·陈 , 维克托·达尔摩 , 贝里特·格鲁(Berit Grußien) :
弧线一致性和朋友。 CoRR公司 腹肌/1104.4993 ( 2011 ) 2010 [公元16年] 卡塔琳娜·卡瓦略 , 维克托·达尔摩 , 安德烈·克鲁金 :
CSP对偶和有界路径宽度树。 西奥。 计算。 科学。 411 ( 34-36 ) : 3188-3208 ( 2010 ) [公元27年] 曼纽尔·博德斯基 , 维克托·达尔摩 , 巴纳比·马丁 , 迈克尔·平斯克 :
距离约束满足问题。 多功能控制系统 2010 : 162-173 [i10] 曼纽尔·博德斯基 , 维克托·达尔摩 , 巴纳比·马丁 , 迈克尔·平斯克 :
距离约束满足问题。 CoRR公司 腹肌/1004.3842 ( 2010 )
2000 – 2009
2009 [公元15年] 维克托·达尔摩 :
不存在纯粹的关系宽度2约束满足问题。 信息处理。 莱特。 109 ( 4 ) : 213-218 ( 2009 ) [公元26年] 安德烈·布拉托夫 , 维克托·达尔摩 , 马丁·格罗 , 达尼尔·马克思 :
枚举同态。 STACS公司 2009 : 231-242 [第九章] 安德烈·布拉托夫 , 维克托·达尔摩 , 马丁·格罗 , 达尼尔·马克思 :
枚举同态。 CoRR公司 abs/0902.1256 ( 2009 ) 2008 [公元14年] 维克托·达尔摩 , 安德烈·克鲁金 , 贝诺·拉罗泽 :
在串联平行偏序集上收缩。 自由裁量权。 数学。 308 ( 11 ) : 2104-2114 ( 2008 ) [j13] 维克托·达尔摩 , 安德烈·克鲁金 :
大多数约束具有有界路径宽度对偶性。 Eur.J.库姆。 29 ( 4 ) : 821-837 ( 2008 ) [公元12年] 阿尔伯特·阿塞里亚斯 , 维克托·达尔摩 :
分辨率宽度的组合特征。 J.计算。 系统。 科学。 74 ( 三 ) : 323-334 ( 2008 ) [公元25年] 维克托·达尔摩 , 贝诺·拉罗泽 :
Maltsev+Datalog-->对称数据日志。 低收入国家 2008 : 297-306 [公元24年] 卡塔琳娜·卡瓦略 , 维克托·达尔摩 , 安德烈·克鲁金 :
Caterpillar约束满足问题的对偶性。 低收入国家 2008 : 307-316 [i8] 曼纽尔·博德斯基 , 维克托·达尔摩 :
无限模板的数据日志和约束满足。 CoRR公司 abs/0809.2386 ( 2008 ) 2007 [公元11年] 德尔伯特·D·贝利 , 维克托·达尔摩 , Phokion G.Kolaitis公司 :
PP-完全可满足问题的相变。 自由裁量权。 申请。 数学。 155 ( 12 ) : 1627-1639 ( 2007 ) [公元10年] 安德烈·布拉托夫 , 维克托·达尔摩 :
关于计数约束满足问题的二分法定理。 Inf.计算。 205 ( 5 ) : 651-678 ( 2007 ) [公元9年] 维克托·达尔摩 , 安德烈·克鲁金 , 贝诺·拉罗泽 :
偏序集和自反图的一阶可定义收缩问题。 J.日志。 计算。 17 ( 1 ) : 31-51 ( 2007 ) [j8] 安德烈·布拉托夫 , 胡比·陈 , 维克托·达尔摩 :
学习带签名的交叉封闭类。 西奥。 计算。 科学。 382 ( 三 ) : 209-220 ( 2007 ) 【c23】 阿尔伯特·阿塞里亚斯 , 安德烈·布拉托夫 , 维克托·达尔摩 :
论权力 k个 -一致性。 ICALP公司 2007 : 279-290 [i7] 卡塔琳娜·卡瓦略 , 维克托·达尔摩 , 彼得·马科维奇 , 米克洛斯·马洛蒂 :
CD(4)具有有界宽度。 CoRR公司 abs/0709.1934 ( 2007 ) 2006 [j7] 维克托·达尔摩 :
广义多数-少数操作是可牵引的。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) [j6] 安德烈·布拉托夫 , 维克托·达尔摩 :
Mal'tsev约束的简单算法。 SIAM J.计算。 36 ( 1 ) : 16-27 ( 2006 ) [公元22年] 曼纽尔·博德斯基 , 维克托·达尔摩 :
无限模板的数据日志和约束满足。 STACS公司 2006 : 646-659 [i6] 维克托·达尔摩 :
广义多数-少数操作是可牵引的。 CoRR公司 abs/cs/0609108 ( 2006 ) 2005 [j5] 维克托·达尔摩 :
一类新的可处理约束满足问题。 安。数学。 Artif公司。 智力。 44 ( 1-2 ) : 61-85 ( 2005 ) 【j4】 维克托·达尔摩 :
关系结构的线性数据日志和有界路径对偶性。 日志。 方法计算。 科学。 1 ( 1 ) ( 2005 ) 【c21】 胡比·陈 , 维克托·达尔摩 :
超树宽度之外:没有分解的分解方法。 人物配对关系 2005 : 167-181 [公元20年] 维克托·达尔摩 , 里卡德·加瓦尔达 , 帕斯卡·泰森 , 丹尼斯·塞利安 :
半群上多项式的可追踪克隆。 人物配对关系 2005 : 196-210 [第19条] 胡比·陈 , 维克托·达尔摩 :
从卵石游戏到可牵引性:量化约束满足的模糊一致性算法。 CSL公司 2005 : 232-247 [第18条] 维克托·达尔摩 :
广义多数-少数操作是可牵引的。 低收入国家 2005 : 438-447 [i5] 维克托·达尔摩 :
线性数据日志与关系结构的有界路径对偶性。 CoRR公司 abs/cs/0504027型 ( 2005 ) [i4] 胡比·陈 , 维克托·达尔摩 :
超树宽度之外:没有分解的分解方法。 CoRR公司 abs/cs/0505035 ( 2005 ) [i3] 维克托·达尔摩 , 里卡德·加瓦尔达 , 帕斯卡·泰森 , 丹尼斯·塞利安 :
半群上多项式的可追踪克隆。 电子。 计算机学术讨论会。 复杂。 TR05型 ( 2005 ) 2004 [j3] 维克托·达尔摩 , 彼得·琼森 :
从另一方面看计算同态的复杂性。 西奥。 计算。 科学。 329 ( 1-3 ) : 315-323 ( 2004 ) [第17条] 安德烈·布拉托夫 , 胡比·陈 , 维克托·达尔摩 :
相对量化广义公式的可学习性。 中高音 2004 : 365-379 [第16条] 胡比·陈 , 维克托·达尔摩 :
(智能)前瞻弧一致性和追求CSP可牵引性。 人物配对关系 2004 : 182-196 [第15条] 维克托·达尔摩 , 安德烈·克鲁金 , 贝诺·拉罗泽 :
偏序集和自反图的一阶可定义收缩问题。 低收入国家 2004 : 232-241 [第14条] 胡比·陈 , 维克托·达尔摩 :
代数上看可追踪的量化布尔公式。 坐 2004 [第13条] 胡比·陈 , 维克托·达尔摩 :
代数上看可追踪的量化布尔公式。 SAT(精选论文 2004 : 71-79 [i2] 维克托·达尔摩 :
Malt's ev约束变得简单。 电子。 计算机学术讨论会。 复杂。 TR04型 ( 2004 ) 2003 [注2] 维克托·达尔摩 , 彼得·杰文斯 :
量化公式的可学习性。 西奥。 计算。 科学。 306 ( 1-3 ) : 485-511 ( 2003 ) [第12条] 阿尔伯特·阿塞里亚斯 , 维克托·达尔摩 :
分辨率宽度的组合表征。 CCC公司 2003 : 239-247 [第11条] 安德烈·布拉托夫 , 维克托·达尔摩 :
计数约束满足问题的二分法定理。 光纤通信系统 2003 : 562-571 [第10条] 维克托·达尔摩 , 丹尼尔·福特 :
每个变量出现次数有限的广义满意度:通过Delta-Matroid奇偶性的研究。 多功能控制系统 2003 : 358-367 2002 【c9】 德尔伯特·D·贝利 , 维克托·达尔摩 , Phokion G.Kolaitis公司 :
比较PP-完全可满足性问题中的相变和峰值成本。 AAAI/IAAI公司 2002 : 620-626 【c8】 维克托·达尔摩 , Phokion G.Kolaitis公司 , Moshe Y.瓦尔迪 :
约束满足、有界树宽和有限变量逻辑。 人物配对关系 2002 : 310-326 【c7】 维克托·达尔摩 :
非确定性对数空间中的约束满足问题。 ICALP公司 2002 : 414-425 [i1] 阿尔伯特·阿塞里亚斯 , 维克托·达尔摩 :
分辨率宽度的组合表征。 电子。 计算机学术讨论会。 复杂。 TR02型 ( 2002 ) 2001 【c6】 德尔伯特·D·贝利 , 维克托·达尔摩 , Phokion G.Kolaitis公司 :
PP-完全可满足问题的相变。 国际JCAI 2001 : 183-192 2000 【c5】 维克托·达尔摩 :
一类新的可追踪约束满足问题。 人工智能与维护 2000
1990 – 1999
1999 [j1] 维克托·达尔摩 :
学习量化布尔公式的二分法定理。 机器。 学习。 35 ( 三 ) : 207-224 ( 1999 ) 【c4】 维克托·达尔摩 :
对于大多数门基来说,布尔公式很难学习。 中高音 1999 : 301-312 【c3】 维克托·达尔摩 , 贾斯汀·皮尔森 :
闭包函数和宽度1问题。 人物配对关系 1999 : 159-173 【c2】 维克托·达尔摩 , 彼得·杰文斯 :
量化公式的可学习性。 欧洲COLT 1999 : 63-78 1997 【c1】 维克托·达尔摩 :
学习量化布尔公式的二分法定理。 COLT公司 1997 : 193-200