威廉·扬·范·霍夫
人员信息
附属: 美国宾夕法尼亚州匹兹堡卡内基梅隆大学
优化列表
2020年–今天
2024 [公元28年] 阿明·侯赛因纳萨布 , 威廉·扬·范霍夫 , 安德烈·西雷 :
基于混合尝试的高效内存顺序模式挖掘。 J.马赫。 学习。 物件。 25 : 227:1-227:29 ( 2024 ) [公元27年] 紫叶汤 , 威廉·扬·范霍夫 :
基于决策图的路线松弛的对偶界:在卡车路线中的应用。 运输。 科学。 58 ( 1 ) : 257-278 ( 2024 ) 2023 [公元26年] 塞尔达尔·卡迪奥格鲁 , 王欣(Xin Wang) , 阿明·侯赛因纳萨布 , 威廉·扬·范霍夫 :
Seq2Pat:序列到模式生成,将模式挖掘与机器学习联系起来。 人工智能杂志。 44 ( 1 ) : 54-66 ( 2023 ) [公元46年] 安东尼·卡拉哈利奥斯 , 威廉·扬·范霍夫 :
容量车辆路径问题的列消除。 CPAIOR公司 2023 : 35-51 [公元45年] 丽贝卡·根策尔 , 劳伦特·米歇尔 , 威廉·扬·范霍夫 :
Haddock中决策图的优化边界。 CPAIOR公司 2023 : 150-166 2022 [公元25年] 安东尼·卡拉哈利奥斯 , 威廉·扬·范霍夫 :
决策图的变量排序:组合方法。 制约国际期刊。 27 ( 1-2 ) : 116-133 ( 2022 ) [公元24年] 南江 , 张茂森 , 威廉·扬·范霍夫 , 野香雪 :
约束推理嵌入式结构化预测。 J.马赫。 学习。 物件。 23 : 345:1-345:40 ( 2022 ) [公元23年] 威廉·扬·范霍夫 :
使用决策图进行图形着色。 数学。 程序。 192 ( 1 ) : 631-674 ( 2022 ) [公元44年] 王欣(Xin Wang) , 阿明·侯赛因纳萨布 , 巴勃罗·科伦加 , 塞尔达尔·卡迪奥格鲁 , 威廉·扬·范霍夫 :
Seq2Pat:基于约束的序列模式挖掘的序列到模式生成。 AAAI公司 2022 : 12665-12671 [公元43年] 丽贝卡·根策尔 , 劳伦特·米歇尔 , 威廉·扬·范霍夫 :
HADDOCK中MDD传播的启发式。 人物配对关系 2022 : 24:1-24:17 [公元42年] Marijn J.H.鞋垫 , 安东尼·卡拉哈利奥斯 , 威廉·扬·范霍夫 :
从派系到配色,再回来。 人物配对关系 2022 : 26:1-26:10 [i10] 阿明·侯赛因纳萨布 , 威廉·扬·范霍夫 , 安德烈·西雷 :
顺序模式挖掘的内存高效尝试。 CoRR公司 abs/2202.06834 ( 2022 ) 2021 [公元22年] 乔里斯·金纳布尔 , 威廉·扬·范霍夫 , 斯蒂芬·史密斯 :
犁雪路线优化:一种约束规划方法。 IISE事务。 53 ( 6 ) : 685-703 ( 2021 ) [公元21年] 阿明·侯赛因纳萨布 , 威廉·扬·范霍夫 :
用同步决策图精确进行多序列比对。 信息J.计算。 33 ( 2 ) : 721-738 ( 2021 ) [公元20年] 丹尼尔·达瓦尼亚 , 威廉·扬·范霍夫 :
通过决策图对整数非线性规划进行外部近似。 数学。 程序。 187 ( 1 ) : 111-150 ( 2021 ) [公元19年] Christian Tjandratmadja(克里斯蒂安·特扬德拉马德加) , 威廉·扬·范霍夫 :
将决策图中的边界合并到整数规划中。 数学。 程序。 计算。 13 ( 2 ) : 225-256 ( 2021 ) 2020 [公元41年] 丽贝卡·根策尔 , 劳伦特·米歇尔 , 威廉·扬·范·霍夫 :
HADDOCK:一种用于决策图编译的语言和体系结构。 人物配对关系 2020 : 531-547 [公元40年] 杰扬斯·克里希纳·莫加利(Jayanth Krishna Mogali) , 威廉·扬·范霍夫 , 斯蒂芬·史密斯 :
多代理路径查找的模板匹配和决策图。 CPAIOR公司 2020 : 347-363 [公元39年] 威廉·扬·范·霍夫 :
决策图的图着色下限。 政府间气候变化专门委员会 2020 : 405-418
2010 – 2019
2019 [公元18年] Christian Tjandratmadja(克里斯蒂安·特扬德拉马德加) , 威廉·扬·范霍夫 :
松弛决策图中的目标切割。 信息J.计算。 31 ( 2 ) : 285-301 ( 2019 ) [公元38年] 阿明·侯赛因纳萨布 , 威廉·扬·范霍夫 , 安德烈·西雷 :
基于约束的决策图序列模式挖掘。 AAAI公司 2019 : 1495-1502 [公元37年] 弗洛里安·格伦努伊略 , 威廉·扬·范霍夫 , 约翰·胡克 :
一种用于多代理路径查找的多标签A*算法。 ICAPS公司 2019 : 181-185 [公元36年] 伯拉克·科库克 , 威廉·扬·范霍夫 :
Golomb Ruler问题优化方法的计算比较。 CPAIOR公司 2019 : 409-425 [公元35年] 紫叶汤 , 威廉·扬·范·霍夫 , 保罗梳亚 :
无人机旅行推销员问题研究。 CPAIOR公司 2019 : 557-564 [公元34年] 野香雪 , 威廉·扬·范霍夫 :
将决策图嵌入生成对手网络。 CPAIOR公司 2019 : 616-632 2018 [j17] 约翰·胡克 , 威廉·扬·范·霍夫 :
约束编程和操作研究。 制约国际期刊。 23 ( 2 ) : 172-195 ( 2018 ) [公元16年] 威廉·扬·范霍夫 :
2018年CPAIOR快车道问题简介。 制约国际期刊。 23 ( 三 ) : 294-295 ( 2018 ) [e2] 威廉·扬·范·霍夫 :
约束编程、人工智能和运筹学的集成——第15届国际会议,2018年CPAIOR,荷兰代尔夫特,2018年6月26-29日,会议记录。 计算机科学课堂讲稿 10848, 施普林格 2018 ,国际标准图书编号 978-3-319-93030-5 [目录] [第九章] 阿明·侯赛因纳萨布 , 威廉·扬·范霍夫 , 安德烈·奥古斯托·西雷 :
基于约束的决策图序列模式挖掘。 CoRR公司 abs/1811.06086 ( 2018 ) [i8] J.克里斯托弗·贝克 , 丹尼尔·马加泽尼 , 加布里埃尔·罗格 , 威廉·扬·范霍夫 :
规划与运营研究(Dagstuhl研讨会18071)。 达格斯图尔报告 8 ( 2 ) : 26-63 ( 2018 ) 2017 [公元15年] 威廉·扬·范·霍夫 , 米歇尔·鲁赫 :
介绍CP 2016的快速通道问题。 制约国际期刊。 22 ( 1 ) : 1-2 ( 2017 ) [公元14年] J.舒伊布洛克 , 罗伯特·C·汉普郡 , 威廉·扬·范霍夫 :
自行车共享系统中的库存再平衡和车辆路线。 欧洲药典。 物件。 257 ( 三 ) : 992-1004 ( 2017 ) [j13] 乔里斯·金纳布尔 , 安德烈·奥古斯托·西雷 , 威廉·扬·范霍夫 :
时间相关排序问题的混合优化方法。 欧洲药典。 物件。 259 ( 三 ) : 887-897 ( 2017 ) [公元33年] 威廉·扬·范霍夫 , 斯里达尔·塔尤尔 :
间歇退火工艺规划的整数和约束规划。 人物配对关系 2017 : 431-439 2016 【b1】 大卫·柏克曼 , 安德烈·西雷 , 威廉·扬·范霍夫 , 约翰·胡克 :
优化决策图。 人工智能:基础、理论和算法 , 施普林格 2016 ,国际标准图书编号 978-3-319-42847-5 ,第1-234页 [公元12年] 大卫·柏克曼 , 安德烈·奥古斯托·西雷 , 威廉·扬·范霍夫 , 约翰·胡克 :
决策图离散优化。 信息J.计算。 28 ( 1 ) : 47-66 ( 2016 ) [公元32年] 凯瑟琳·贾尔斯 , 威廉·扬·范·霍夫 :
用约束规划求解供货配送调度问题。 人物配对关系 2016 : 602-617 [公元31年] 乔里斯·金纳布尔 , 威廉·扬·范·霍夫 , 斯蒂芬·史密斯 :
一个现实世界犁雪路径问题的优化模型。 CPAIOR公司 2016 : 229-245 2015 [公元11年] 大卫·柏克曼 , 安德烈·奥古斯托·西雷 , 威廉·扬·范霍夫 :
决策图的拉格朗日界。 制约国际期刊。 20 ( 三 ) : 346-361 ( 2015 ) [公元10年] 韦加斯·果尔 , M.斯卢斯基 , 威廉·扬·范霍夫 , 凯文·福曼 , 邵玉芬 :
液化天然气船舶调度和库存管理的约束规划。 欧洲药典。 物件。 241 ( 三 ) : 662-673 ( 2015 ) [公元30年] 大卫·柏克曼 , 安德烈·奥古斯托·西雷 , 威廉·扬·范霍夫 :
通过拉格朗日分解改进约束传播。 人物配对关系 2015 : 30-38 [公元29年] 布赖恩·科尔 , 阿什什·萨巴瓦尔 , 威廉·扬·范霍夫 :
BDD-引导子句生成。 CPAIOR公司 2015 : 215-230 2014 [公元9年] 路易斯·马丁·卢梭 , 威廉·扬·范霍夫 :
专题:组合优化的约束规划方法。 EURO J.计算。 最佳方案。 2 ( 三 ) : 87-88 ( 2014 ) [j8] 大卫·柏克曼 , 安德烈·西雷 , 威廉·扬·范·霍夫 , 塔利斯·H·尤恩斯 :
基于BDD的二进制优化启发式。 J.启发式 20 ( 2 ) : 211-234 ( 2014 ) [j7] 大卫·柏克曼 , 安德烈·西雷 , 威廉·扬·范·霍夫 , 约翰·胡克 :
二元决策图的优化边界。 信息J.计算。 26 ( 2 ) : 253-268 ( 2014 ) [j6] 大卫·柏克曼 , 安德烈·西雷 , 威廉·扬·范·霍夫 :
序列约束的MDD传播。 J.阿蒂夫。 智力。 物件。 50 : 697-722 ( 2014 ) [公元28年] 大卫·柏克曼 , 安德烈·西雷 , 威廉·扬·范·霍夫 , 约翰·胡克 :
二元决策图的优化边界-(扩展抽象)。 人物配对关系 2014 : 903-907 [公元27年] 安德烈·西雷 , 威廉·扬·范·霍夫 :
排序问题的多值决策图(扩展抽象)。 人物配对关系 2014 : 918-922 [公元26年] 大卫·柏克曼 , 安德烈·西雷 , Ashish Sabharwal公司 , 霍斯特·萨穆洛维茨 , 维杰·A·萨拉斯瓦特 , 威廉·扬·范·霍夫 :
带决策图的并行组合优化。 CPAIOR公司 2014 : 351-367 2013 [j5] 安德烈·西雷 , 威廉·扬·范·霍夫 :
排序问题的多值决策图。 操作。 物件。 61 ( 6 ) : 1411-1428 ( 2013 ) [公元25年] 布赖恩·科尔 , 威廉·扬·范·霍夫 :
多维装箱的MDD方法。 CPAIOR公司 2013 : 128-143 [公元24年] 马拉·拉斯基 , 威廉·扬·范·霍夫 :
Golomb统治者的拉格朗日放松。 CPAIOR公司 2013 : 251-267 2012 【j4】 帕斯卡·本奇摩尔 , 威廉·扬·范·霍夫 , Jean-Charles雷金 , 路易斯·马丁·卢梭 , 米歇尔·鲁赫 :
改进了加权电路约束的滤波。 制约国际期刊。 17 ( 三 ) : 205-233 ( 2012 ) 【c23】 安德烈·西雷 , 威廉·扬·范·霍夫 :
分离调度的MDD传播。 ICAPS公司 2012 [公元22年] 大卫·柏克曼 , 安德烈·西雷 , 威廉·扬·范·霍夫 , 约翰·胡克 :
BDD应用于最大独立集问题的变量排序。 CPAIOR公司 2012 : 34-49 [c21] 安德烈·西雷 , 艾文·科班 , 威廉·扬·范·霍夫 :
基于流的组合机会约束。 CPAIOR公司 2012 : 129-145 2011 [公元20年] 大卫·柏克曼 , 威廉·扬·范·霍夫 , 约翰·胡克 :
为组合优化操作MDD松弛。 CPAIOR公司 2011 : 20-35 [第19条] 罗宾·斯泰格 , 威廉·扬·范·霍夫 , Radoslaw Szymanek公司 :
一种有效的通用网络流约束。 囊 2011 : 893-900 2010 [第18条] 萨米德·霍达 , 威廉·扬·范·霍夫 , 约翰·胡克 :
基于MDD的约束编程的系统方法。 人物配对关系 2010 : 266-280 [第17条] 帕斯卡·本奇摩尔 , Jean-Charles雷金 , 路易斯·马丁·卢梭 , 米歇尔·鲁赫 , 威廉·扬·范·霍夫 :
用约束规划改进Hold和Karp方法。 CPAIOR公司 2010 : 40-44 [第16条] 卡南·冈内斯 , 威廉·扬·范·霍夫 , 斯里达尔·塔尤尔 :
食品救援计划的车辆路线:不同方法的比较。 CPAIOR公司 2010 : 176-180 [第15条] Jean-Charles雷金 , 路易斯·马丁·卢梭 , 米歇尔·鲁赫 , 威廉·扬·范·霍夫 :
重温加权生成树约束。 CPAIOR公司 2010 : 287-291
2000 – 2009
2009 [j3] 威廉·扬·范·霍夫 , 吉尔斯·佩森特 , 路易斯·马丁·卢梭 , 阿什什·萨巴瓦尔 :
约束组合的新过滤算法。 制约国际期刊。 14 ( 2 ) : 273-292 ( 2009 ) [电子1] 威廉·扬·范·霍夫 , 约翰·胡克 :
AI和OR技术在组合优化问题约束编程中的集成,第六届国际会议,CPAIOR 2009,匹兹堡,宾夕法尼亚州,美国,2009年5月27日至31日,会议记录。 计算机科学课堂讲稿 5547, 施普林格 2009 ,国际标准图书编号 978-3-642-01928-9 [目录] 2008 [第14条] 尤里·马利茨基 , 梅诺夫·塞尔曼 , 威廉·扬·范·霍夫 :
背包约束的Length-Lex边界一致性。 人物配对关系 2008 : 266-281 [第13条] 卡拉·戈麦斯 , 威廉·扬·范·霍夫 , 阿什什·萨巴瓦尔 :
网络中的连接:一种混合方法。 CPAIOR公司 2008 : 303-307 [c12] 威廉·扬·范·霍夫 , 阿什什·萨巴瓦尔 :
在成对集合变量上过滤Atmost1。 CPAIOR公司 2008 : 382-386 2007 [第11条] 卡拉·戈麦斯 , 威廉·扬·范·霍夫 , Ashish Sabharwal公司 , 巴特·塞尔曼 :
使用广义XOR约束计算CSP解。 AAAI公司 2007 : 204-209 [第10条] 威廉·扬·范·霍夫 , 卡拉·戈麦斯 , 巴特·塞尔曼 , 米歇尔·隆巴迪 :
带约束规划的多智能体优化调度。 AAAI公司 2007 : 1813-1818 【c9】 乔恩·康拉德 , 卡拉·戈麦斯 , 威廉·扬·范·霍夫 , 阿什什·萨巴瓦尔 , 乔丹·苏特 :
网络中的联系:可行性的困难与最佳性。 CPAIOR公司 2007 : 16-28 2006 [注2] 威廉·扬·范·霍夫 :
在约束规划中利用半定松弛。 计算。 操作。 物件。 33 ( 10 ) : 2787-2804 ( 2006 ) [j1] 威廉·扬·范·霍夫 , 吉尔斯·佩森特 , 路易斯·马丁·卢梭 :
关于全球变暖:基于流动的全球软约束。 J.启发式 12 ( 4-5 ) : 347-373 ( 2006 ) 【c8】 卡拉·戈麦斯 , 威廉·扬·范·霍夫 , 巴特·塞尔曼 :
分布式计划与调度的约束编程。 AAAI春季研讨会:分布式计划和进度管理 2006 : 157-158 【c7】 威廉·扬·范·霍夫 , 吉勒·佩桑特 , 路易斯·马丁·卢梭 , 阿什什·萨巴瓦尔 :
重新查看序列约束。 人物配对关系 2006 : 620-634 【c6】 卡拉·戈麦斯 , 威廉·扬·范·霍夫 , 卢西安·利胡(Lucian Leahu) :
MAX-SAT的半定规划松弛的幂。 CPAIOR公司 2006 : 104-118 【c5】 威廉·扬·范·霍夫 , Jean-Charles雷金 :
封闭世界中的开放约束。 CPAIOR公司 2006 : 244-257 【r1】 威廉·扬·范霍夫 , 艾丽特·凯特里尔 :
全局约束。 约束编程手册 2006 : 169-208 2004 【c4】 威廉·扬·范·霍夫 :
软Alldifferent约束的超圆弧一致性算法。 人物配对关系 2004 : 679-689 【c3】 威廉·扬·范·霍夫 , 米歇拉·米兰 :
推迟分支机构决策。 ECAI公司 2004 : 1105-1106 [i7] 威廉·扬·范·霍夫 , 米歇拉·米兰 :
基于分解的搜索-理论和实验评估。 CoRR公司 反恐精英。 AI/0407040号 ( 2004 ) [i6] 威廉·扬·范·霍夫 , 米歇拉·米兰 :
推迟分支机构决策。 CoRR公司 反恐精英。 艾文/0407042 ( 2004 ) [i5] 米歇拉·米兰 , 威廉·扬·范·霍夫 :
降低了生成有希望的子问题的基于成本的排名。 CoRR公司 反恐精英。 艾文/00407044 ( 2004 ) [i4] 威廉·扬·范·霍夫 , 吉尔斯·佩森特 , 路易斯·马丁·卢梭 :
关于全球变暖(软化全球约束)。 CoRR公司 反恐精英。 AI/0408023号文件 ( 2004 ) [i3] 威廉·扬·范·霍夫 :
在约束规划中利用半定松弛。 CoRR公司 反恐精英。 DM/0407041 ( 2004 ) [i2] 威廉·扬·范·霍夫 :
软Alldifferent约束的超圆弧一致性算法。 CoRR公司 反恐精英。 电话:0407043 ( 2004 ) 2003 【c2】 威廉·扬·范·霍夫 :
稳定集问题的混合约束规划和半定规划方法。 人物配对关系 2003 : 407-421 2002 【c1】 米歇拉·米兰 , 威廉·扬·范·霍夫 :
减少了生成有希望的子问题的基于成本的排名。 人物配对关系 2002 : 1-16 2001 [i1] 威廉·扬·范·霍夫 :
完全不同的约束:调查。 CoRR公司 反恐精英。 PL/0105015 ( 2001 )