编辑配置文件(在新选项卡中打开) 托比·沃尔什 合著者距离 作者ID: 沃尔什·托比 发布日期: 托比·沃尔什;T·沃尔什。 外部链接: MGP公司·ORCID公司·数据库管理程序 已编制索引的文档: 111出版物自1989年起 12作为编辑的贡献 合著者: 105位合著者具有109联合出版物 2078合著作者 全部的 前5名合著者 13 单作者的 14 克里斯蒂安·贝西尔 14 埃曼纽尔·希伯拉德 14 赫尼奇,卜拉欣 12 尼娜·纳罗季斯卡 11 伊恩·菲利普 10 弗朗西丝卡·罗西 9 克孜尔坦、泽内普 9 克里斯汀·布伦特·维纳布尔 8 克洛德·盖·昆珀 7 哈里斯·阿齐兹 7 乔治·卡特西雷洛斯 6 克里斯蒂安·德雷舍尔 5 马丁·阿列克桑德罗夫 5 福斯托·金奇利亚 5 玛丽亚·西尔维亚·皮尼 5 科斯塔斯·斯特乔 4 阿兰·邦迪 4 艾伦·M·弗里希。 4 伊恩·米格尔 三 法希姆·巴克斯 三 David A.Basin。 三 塞尔盖·加斯佩斯 三 罗尔夫·尼德迈尔 三 汉斯·范马伦 三 夏丽蓉 2 阿明·比尔 2 文森特·科尼策 2 米尔科·吉兰 2 翁贝托·格兰迪 2 Heule,Marijn J.H。 2 法律,Yit Chiu 2 李,吉米·霍曼 2 安德烈亚·洛雷吉亚 2 西蒙·麦肯齐 2 尼古拉斯·马特伊 2 帕特里克·普罗瑟 2 穆罕默德·西亚拉 2 芭芭拉·史密斯。 2 曼纽尔·索尔吉 2 彼得·詹姆斯·斯塔基 2 范·比克(Peter J.L.van Beek)。 2 雷内·范·贝文 1 Artigues,克里斯蒂安 1 阿内塔·巴杰尔(Anetta M.Bajer)。 1 巴拉福提斯,塔纳西 1 布兰德,塞巴斯蒂安 1 罗伯特·布雷德里克 1 马库斯·布里尔 1 凯西·卡汉 1 石炭纪,Clément 1 陈洁华 1 陈新光 1 Chircop,保罗·A。 1 Berthe Y·Choueiry。 1 西蒙·科尔顿 1 杰西卡·凯瑟琳·戴维斯 1 Leszek F.Demkowicz。 1 多姆什拉克,卡梅尔 1 安东·德里斯 1 托马斯·艾特 1 伊迪丝·埃尔金 1 迈克尔·芬克 1 马蒂奥·菲舍蒂 1 弗兰克、杰里米 1 鲁珀特·弗里曼 1 玛丽亚·加西亚·德拉班达 1 克劳斯·戈德斯 1 恩里科Giunchilia 1 保罗·戈德伯格(Paul W.Goldberg)。 1 查尔斯·格雷顿 1 沙伊·哈伊姆 1 托马斯·卡林诺夫斯基 1 菲利普·基尔比 1 克里斯蒂安·科穆塞维茨 1 科穆西维奇,基督徒 1 托马斯·克伦瓦尔纳 1 利贝蒂,利奥 1 伊万麦金太尔 1 迈克尔·马赫(Michael J.Maher)。 1 苏雷什·马南达尔 1 金·万豪酒店 1 瓦伦丁·梅耶尔·艾希伯格 1 马克·安德雷·梅纳德 1 亨德里克·莫尔特 1 亚历克斯·努斯 1 阿纳斯塔西亚·帕帕里佐 1 蒂埃里·佩蒂特 1 恩里科·皮洛托 1 史蒂文·普雷斯特维奇。 1 泰勒·罗素 1 多梅尼科·萨尔瓦金 1 伊尔迪科·施洛特 1 克里斯托夫·施瓦布 1 罗伯托·塞巴斯蒂亚尼 1 丹尼尔·谢里丹 1 约翰·斯莱尼。 1 佐尔坦·索莫吉 1 保罗·斯特伯格 1 蒂莫西·苏伦登克。 1 靖子武胜 …还有另外9位合著者 全部的 前5名系列 18 人工智能 7 约束条件 6 自动推理杂志 6 人工智能研究杂志 5 计算机科学课堂讲稿 三 运筹学年鉴 三 人工智能和应用的前沿 2 信息处理信件 2 算法 1 离散应用数学 1 数学社会科学 1 社会选择与福利 1 AI通信 1 逻辑与计算杂志 1 国际人类计算机研究杂志 1 数学与人工智能年鉴 1 启发式杂志 1 科学计算与可视化 1 逻辑程序设计理论与实践 1 人工智能基础 全部的 前5名领域 103 计算机科学(68至XX) 31 博弈论、经济学、金融和其他社会和行为科学(91-XX) 16 运筹学、数学规划(90-XX) 11 总体主题;集合(00-XX) 6 数学逻辑和基础(03-XX) 2 历史和传记(01-XX) 2 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 103出版物有1390年被引用次1075文件 引用人▼ 年份▼ 满意度手册。 Zbl 1183.68568号 367 2009 约束编程手册。 Zbl 1175.90011号 298 2006 SAT(v)CSP。 Zbl 1044.68808号 托比·沃尔什 36 2000 抽象理论。 Zbl 0762.68054号 福斯托·金奇利亚;托比·沃尔什 31 1992 随机约束满足:缺陷和结构。 Zbl 0992.68193号 伊恩·詹特(Ian P.Gent)。;伊万麦金太尔;帕特里克·普罗瑟;芭芭拉·史密斯。;托比·沃尔什 30 2001 在基于批准的委员会投票中的合理代表。 Zbl 1392.91030号 哈里斯·阿齐兹;马库斯·布里尔;文森特·科尼策;伊迪丝·埃尔金;鲁珀特·弗里曼;托比·沃尔什 30 2017 满意度手册。分为两部分。第二次更新和修订版。 Zbl 1456.68001号 28 2021 随机约束编程:一种基于场景的方法。 兹比尔1103.68828 阿玛甘·塔里木,S。;苏雷什·马南达尔;托比·沃尔什 27 2006 HP90:一个通用且灵活的Fortran 90\(hp\)-FE代码。 Zbl 0912.68014号 L.Demkowicz。;Gerdes,K。;施瓦布,C。;A.巴杰。;T·沃尔什。 24 1998 简单的问题有时很难解决。 Zbl 0824.68107号 伊恩·詹特(Ian P.Gent)。;托比·沃尔什 22 1994 操纵投票的障碍。 Zbl 1448.91097号 文森特·科尼策;托比·沃尔什 21 2016 TSP相变。 Zbl 0907.68177号 伊恩·詹特(Ian P.Gent)。;托比·沃尔什 19 1996 偏好聚合中的不完全性和不可比性:复杂性结果。 Zbl 1225.68257号 M.S.皮尼。;F.罗西。;维纳布尔,K.B。;T·沃尔什。 19 2011 有序偏好下不可分割对象的公平分配。 Zbl 1346.68106号 哈里斯·阿齐兹;塞尔盖·加斯佩斯;西蒙,麦肯齐;托比·沃尔什 19 2015 全局语法约束。 Zbl 1160.68560号 克洛德·盖·昆珀;托比·沃尔什 17 2006 聚合部分排序的首选项。 Zbl 1162.91343号 玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;克里斯汀·布伦特·维纳布尔;托比·沃尔什 16 2009 分解全局语法约束。 Zbl 1145.68529号 克洛德·盖·昆珀;托比·沃尔什 16 2007 操纵博尔达、南森和鲍德温投票规则的复杂性和算法。 Zbl 1408.91065号 杰西卡·戴维斯;乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什;夏丽蓉 15 2014 一般对称破坏约束。 Zbl 1160.68571号 托比·沃尔什 14 2006 全局约束的可处理性。 Zbl 1152.68542号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;托比·沃尔什 13 2004 难操作的问题在哪里? Zbl 1234.68391号 T·沃尔什。 12 2011 定性条件偏好推理的硬约束和软约束。 Zbl 1125.68410号 C·多姆什拉克。;普雷斯特维奇,S。;F.罗西。;维纳布尔,K.B。;T·沃尔什。 11 2006 非二进制约束的域筛选一致性。 Zbl 1182.68218号 克里斯蒂安·贝西尔;科斯塔斯·斯特乔;托比·沃尔什 11 2008 单一一致性。 Zbl 1044.68790号 帕特里克·普罗瑟;科斯塔斯·斯特乔;托比·沃尔什 11 2000 CGRASS:转换约束满足问题的系统。 Zbl 1023.68668号 艾伦·M·弗里希。;伊恩·米格尔;托比·沃尔什 10 2003 排列问题和通道约束。 Zbl 1273.68365号 托比·沃尔什 10 2001 关于数学自动发现中的趣味性概念。 Zbl 1011.68621号 西蒙·科尔顿;阿兰·邦迪;托比·沃尔什 10 2000 字典排序约束的传播算法。 Zbl 1131.68521号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;托比·沃尔什 10 2006 约束编程中的超级解决方案。 Zbl 1094.68645号 埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;托比·沃尔什 10 2004 序列约束的编码。 Zbl 1145.68507号 布兰德,塞巴斯蒂安;尼娜·纳罗季斯卡;克洛德·盖·昆珀;彼得·斯塔基;托比·沃尔什 10 2007 差异匹配。 Zbl 0925.68401号 戴维·巴恩斯;托比·沃尔什 9 1992 GSAT中搜索的实证分析。 Zbl 0900.68178号 詹特,I.P。;T·沃尔什。 9 1993 G12项目:将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 9 2005 2000年满意度研究重点。第三次国际研讨会,1998年9月。 Zbl 0963.00028号 8 2000 具有全局约束的推理的复杂性。 Zbl 1124.68103号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;托比·沃尔什 8 2007 在杯赛和循环赛中操纵比赛。 Zbl 1260.68184号 泰勒·罗素;托比·沃尔什 8 2009 置换和注入问题的双重建模。 Zbl 1080.68667号 赫尼奇,卜拉欣;芭芭拉·史密斯。;托比·沃尔什 8 2004 使用证明计划求级数的和。 Zbl 0925.03072号 托比·沃尔什;亚历克斯·努斯;阿兰·邦迪 7 1992 归纳证明的分歧批评家。 Zbl 0900.68383号 T·沃尔什。 7 1996 NValue约束的过滤算法。 Zbl 1133.68427号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 7 2005 缺少偏好的软约束问题的启发式策略:属性、算法和实验研究。 Zbl 1207.68354号 米尔科·吉兰;玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;Venable,K.布伦特;托比·沃尔什 7 2010 约束答案集求解的平移方法。 Zbl 1209.68511号 克里斯蒂安·德雷舍尔;托比·沃尔什 7 2010 NValue约束的过滤算法。 Zbl 1114.68064号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 7 2006 使用DPLL搜索求解非子句公式。 Zbl 1152.68588号 克里斯蒂安·蒂法尔;酒神巴克斯;托比·沃尔什 7 2004 抽象定理证明。 Zbl 0708.68066号 福斯托·金奇利亚;托比·沃尔什 7 1989 修复平衡淘汰赛和双淘汰赛。 Zbl 1451.68129号 哈里斯·阿齐兹;塞尔盖·加斯佩斯;西蒙·麦肯齐;尼古拉斯·马特伊;保罗·斯特伯格;托比·沃尔什 6 2018 二进制约束与非二进制约束。 Zbl 0999.68201号 法希姆·巴克斯;陈新光;彼得·范比克;托比·沃尔什 6 2002 对称破缺答案集求解。 Zbl 1215.68212号 德雷舍尔,克里斯蒂安;奥纳州蒂弗雷;托比·沃尔什 6 2011 打破可互换变量和值的对称性。 Zbl 1145.68521号 法律,Y.C。;J.H.M.李。;托比·沃尔什;叶俊英(音)。 6 2007 其中,常见约束和不相交约束。 Zbl 1180.68244号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 5 2006 SAT中的局部一致性。 Zbl 1204.68184号 Bessière,基督徒;埃曼纽尔·希伯拉德;托比·沃尔什 5 2004 最大受限路径一致性的新算法。 Zbl 1241.68098号 巴拉福提斯,塔纳西;阿纳斯塔西亚·帕帕里佐;科斯塔斯·斯特乔;托比·沃尔什 5 2011 涟漪的演算和终止。 Zbl 0847.68105号 David A.Basin。;托比·沃尔什 5 1996 加权偏好匹配问题的稳定性、最优性和操纵性。 Zbl 1461.05170号 玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;维纳布尔,K.布伦特;托比·沃尔什 5 2013 抽象证明检查:由不完全性定理驱动的示例。 Zbl 0890.03004号 阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 4 1997 稳定匹配问题中的局部搜索方法。 兹比尔1461.05163 米尔科·吉兰;玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;维纳布尔,K.布伦特;托比·沃尔什 4 2013 部分投票对战略投票的计算影响。 Zbl 1366.91084号 尼娜·纳罗季斯卡;托比·沃尔什 4 2014 在线蛋糕切割。 Zbl 1233.68196号 托比·沃尔什 4 2011 满意度测试的理论与应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。 Zbl 1077.68002号 4 2005 可满足性约束缺口。 兹比尔1508.68330 伊恩·詹特(Ian P.Gent)。;托比·沃尔什 4 1996 集合、多集合和元组变量的所有不同和全局基数约束。 Zbl 1180.68249号 克洛德·盖·昆珀;托比·沃尔什 三 2006 结合对称破缺和全局约束。 Zbl 1248.68457号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 三 2009 多集合排序约束的过滤算法。 Zbl 1191.68633号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;托比·沃尔什 三 2009 用于有界模型检查的基于定点的编码。 兹比尔1019.68590 艾伦·弗里希;丹尼尔·谢里丹;托比·沃尔什 三 2002 四凸是NP-完全的。 Zbl 1185.68354号 靖子武胜;托比·沃尔什 三 2006 具有多集约束的一致性和传播:正式观点。 Zbl 1273.68364号 托比·沃尔什 三 2003 SAT求解运行时的在线估计。 Zbl 1138.68540号 沙伊·哈伊姆;托比·沃尔什 三 2008 Shapley运输成本分配代理研究。 兹比尔1378.91011 哈里斯·阿齐兹;凯西·卡汉;查尔斯·格雷顿;菲利普·基尔比;尼古拉斯·马特伊;托比·沃尔什 三 2016 计算复杂性是操作的障碍吗? Zbl 1230.91044号 托比·沃尔什 三 2011 迭代投票中的限制操作:Condorcet效率和Borda得分。 Zbl 1406.91107号 翁贝托·格兰迪;安德烈亚·洛雷吉亚;弗朗西丝卡·罗西;克里斯汀·布伦特·维纳布尔;托比·沃尔什 三 2013 用懒惰的一代回答集合问题。 Zbl 1281.68178号 克里斯蒂安·德雷舍尔;托比·沃尔什 三 2012 不可分割项目公平划分中的群体嫉妒自由度和群体帕累托效率。 Zbl 1518.91096号 马丁·阿列克桑德罗夫;托比·沃尔什 三 2018 顺序分配中的均衡。 Zbl 1398.91361号 哈里斯·阿齐兹;保罗·戈德堡;托比·沃尔什 2 2017 重新设置全局语法约束。 Zbl 1241.68102号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 2 2009 这个所有不同的先例约束。 Zbl 1326.68266号 克里斯蒂安·贝西尔;尼娜·纳罗季斯卡;克洛德·盖·昆珀;托比·沃尔什 2 2011 约束编程的原理和实践–CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。 兹比尔0984.00059 2 2001 将命题可满足性转化为约束满足。 Zbl 0989.68526号 托比·沃尔什 2 2000 计算关键性。 Zbl 0906.68138号 A.邦迪。;金奇利亚,F。;R·塞巴斯蒂亚尼。;T·沃尔什。 2 1996 参数化的复杂性会导致对称性破坏。 Zbl 1309.68104号 托比·沃尔什 2 2010 \(\mathrm{H})-通过合并文章进行索引操作:模型、理论和实验。 Zbl 1386.68076号 勒内,范贝文;克里斯蒂安·科穆塞维茨;罗尔夫·尼德迈尔;曼纽尔·索尔吉;托比·沃尔什 2 2016 相变的渐近和有限尺寸参数:哈密顿电路案例研究。 Zbl 1338.68103号 弗兰克、杰里米;伊恩·詹特(Ian P.Gent)。;托比·沃尔什 2 1998 ROOTS约束。 Zbl 1160.68539号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 2 2006 分歧评论家。 Zbl 1433.68571号 托比·沃尔什 2 1994 范围约束:算法和实现。 兹比尔1177.68182 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 1 2006 轨道收缩:理论和应用。 Zbl 1406.90081号 马蒂奥·菲舍蒂;利贝蒂,利奥;多梅尼科·萨尔瓦金;托比·沃尔什 1 2017 范围和根:用于指定和传播计数和发生约束的两种常见模式。 Zbl 1186.68432号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 1 2009 特别问题:2000年的可满足性。 Zbl 0956.00015号 1 2000 使用答案集编程建模语法约束。 Zbl 1245.68173号 克里斯蒂安·德雷舍尔;托比·沃尔什 1 2011 不一致的抽象空间的必然性。 Zbl 0784.68075号 福斯托·金奇利亚;托比·沃尔什 1 1993 对称破缺约束的对称性。 Zbl 1211.68384号 乔治·卡特西雷洛斯;托比·沃尔什 1 2010 加权语法约束。 Zbl 1230.68110号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 1 2011 加权CFG约束。 Zbl 1142.68515号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 1 2008 用于稳健求解的混合建模。 Zbl 1156.90474号 赫尼奇,卜拉欣;克孜尔坦,泽内普;伊恩·米格尔;托比·沃尔什 1 2004 FOCUS约束的三种推广。 Zbl 1368.90110号 尼娜·纳罗季斯卡;蒂埃里·佩蒂特;穆罕默德·西亚拉;托比·沃尔什 1 2016 满意度测试的理论和应用——2017年SAT。第20届国际会议,澳大利亚维多利亚州墨尔本,2017年8月28日至9月1日。诉讼程序。 Zbl 1368.68008号 1 2017 议会投票程序:议程控制、操纵和不确定性。 Zbl 1417.91183号 罗伯特·布雷德里克;陈洁华;罗尔夫·尼德迈尔;托比·沃尔什 1 2017 不可分割货物顺序分配机制的福利。 Zbl 1396.91319号 哈里斯·阿齐兹;托马斯·卡林诺夫斯基;托比·沃尔什;夏丽蓉 1 2016 通过撤消合并操作h索引。 兹比尔1394.68194 雷内·范·贝文;克里斯蒂安·科穆斯维茨;亨德里克·莫尔特;罗尔夫·尼德迈尔;曼纽尔·索尔吉;托比·沃尔什 1 2016 将投票规则结合在一起。 Zbl 1327.91029号 尼娜·纳罗季斯卡;托比·沃尔什;夏丽蓉 1 2012 混合甘露聚糖的加法和公平分割的两种算法。 Zbl 1520.91200号 马丁·阿列克桑德罗夫;托比·沃尔什 1 2020 满意度手册。分为两部分。第二次更新和修订版。 Zbl 1456.68001号 28 2021 混合甘露聚糖的加法和公平分割的两种算法。 Zbl 1520.91200号 马丁·阿列克桑德罗夫;托比·沃尔什 1 2020 修复平衡淘汰赛和双淘汰赛。 Zbl 1451.68129号 哈里斯·阿齐兹;塞尔盖·加斯佩斯;西蒙,麦肯齐;尼古拉斯·马特伊;保罗·斯特伯格;托比·沃尔什 6 2018 群体羡慕自由和群体帕累托效率在不可分割项目的公平划分中。 Zbl 1518.91096号 马丁·阿列克桑德罗夫;托比·沃尔什 三 2018 在基于批准的委员会投票中的合理代表。 Zbl 1392.91030号 哈里斯·阿齐兹;马库斯·布里尔;文森特·科尼策;伊迪丝·埃尔金;鲁珀特·弗里曼;托比·沃尔什 30 2017 顺序分配中的均衡。 Zbl 1398.91361号 哈里斯·阿齐兹;保罗·戈德堡;托比·沃尔什 2 2017 轨道收缩:理论和应用。 Zbl 1406.90081号 马蒂奥·菲舍蒂;利贝蒂,利奥;多梅尼科·萨尔瓦金;托比·沃尔什 1 2017 满意度测试的理论和应用——2017年SAT。第20届国际会议,澳大利亚维多利亚州墨尔本,2017年8月28日至9月1日。诉讼程序。 Zbl 1368.68008号 1 2017 议会投票程序:议程控制、操纵和不确定性。 Zbl 1417.91183号 罗伯特·布雷德里克;陈洁华;罗尔夫·尼德迈尔;托比·沃尔什 1 2017 在线展会划分的预期结果和操作。 Zbl 1498.68374号 马丁·阿列克桑德罗夫;托比·沃尔什 1 2017 投票中操纵的障碍。 Zbl 1448.91097号 Vincent科尼泽;托比·沃尔什 21 2016 Shapley运输成本分配代理研究。 Zbl 1378.91011号 哈里斯·阿齐兹;凯西·卡汉;查尔斯·格雷顿;菲利普·基尔比;尼古拉斯·马特伊;托比·沃尔什 三 2016 \(\mathrm{H})-通过合并文章进行索引操作:模型、理论和实验。 Zbl 1386.68076号 雷内·范·贝文;克里斯蒂安·科穆塞维茨;罗尔夫·尼德迈尔;曼纽尔·索尔吉;托比·沃尔什 2 2016 FOCUS约束的三种推广。 Zbl 1368.90110号 尼娜·纳罗季斯卡;蒂埃里·佩蒂特;穆罕默德·西亚拉;托比·沃尔什 1 2016 不可分割货物顺序分配机制的福利。 Zbl 1396.91319号 哈里斯·阿齐兹;托马斯·卡林诺夫斯基;托比·沃尔什;夏丽蓉 1 2016 通过撤消合并进行h索引操作。 Zbl 1394.68194号 雷内·范·贝文;克里斯蒂安·科穆斯维茨;亨德里克·莫尔特;罗尔夫·尼德迈尔;曼纽尔·索尔吉;托比·沃尔什 1 2016 有序偏好下不可分割对象的公平分配。 Zbl 1346.68106号 哈里斯·阿齐兹;塞尔盖·加斯佩斯;西蒙·麦肯齐;托比·沃尔什 19 2015 操纵博尔达、南森和鲍德温投票规则的复杂性和算法。 Zbl 1408.91065号 杰西卡·戴维斯;乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什;夏丽蓉 15 2014 部分投票对战略投票的计算影响。 Zbl 1366.91084号 尼娜·纳罗季斯卡;托比·沃尔什 4 2014 缓冲资源约束:算法和复杂性。 Zbl 1407.68447号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;马克·安德雷·梅纳德;克洛德·盖·昆珀;托比·沃尔什 1 2014 加权偏好匹配问题的稳定性、最优性和操纵性。 Zbl 1461.05170号 玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;维纳布尔,K.布伦特;托比·沃尔什 5 2013 稳定匹配问题中的局部搜索方法。 Zbl 1461.05163号 米尔科·吉兰;玛丽亚·西尔维亚·皮尼;弗朗西斯卡·罗西;维纳布尔,K.布伦特;托比·沃尔什 4 2013 迭代投票中的限制操作:Condorcet效率和Borda得分。 Zbl 1406.91107号 翁贝托·格兰迪;安德烈亚·洛雷吉亚;弗朗西丝卡·罗西;克里斯汀·布伦特·维纳布尔;托比·沃尔什 三 2013 用懒惰的一代回答集合问题。 Zbl 1281.68178号 克里斯蒂安·德雷舍尔;托比·沃尔什 三 2012 将投票规则结合在一起。 Zbl 1327.91029号 尼娜·纳罗季斯卡;托比·沃尔什;夏丽蓉 1 2012 偏好聚合中的不完全性和不可比性:复杂性结果。 兹比尔1225.68257 M.S.皮尼。;F.罗西。;维纳布尔,K.B。;T·沃尔什。 19 2011 难操作的问题在哪里? Zbl 1234.68391号 T·沃尔什。 12 2011 对称破缺答案集求解。 Zbl 1215.68212号 克里斯蒂安·德雷舍尔;奥纳州蒂弗雷;托比·沃尔什 6 2011 最大受限路径一致性的新算法。 兹比尔1241.68098 巴拉福提斯,塔纳西;阿纳斯塔西亚·帕帕里佐;科斯塔斯·斯特乔;托比·沃尔什 5 2011 在线蛋糕切割。 Zbl 1233.68196号 托比·沃尔什 4 2011 计算复杂性是操作的障碍吗? Zbl 1230.91044号 托比·沃尔什 三 2011 这个所有不同的先例约束。 Zbl 1326.68266号 克里斯蒂安·贝西尔;尼娜·纳罗季斯卡;克洛德·盖·昆珀;托比·沃尔什 2 2011 用答案集编程建模语法约束。 Zbl 1245.68173号 克里斯蒂安·德雷舍尔;托比·沃尔什 1 2011 加权语法约束。 Zbl 1230.68110号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 1 2011 缺少偏好的软约束问题的启发式策略:属性、算法和实验研究。 Zbl 1207.68354号 米尔科·吉兰;玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;维纳布尔,K.布伦特;托比·沃尔什 7 2010 约束答案集求解的平移方法。 Zbl 1209.68511号 克里斯蒂安·德雷舍尔;托比·沃尔什 7 2010 参数化的复杂性会导致对称性破坏。 Zbl 1309.68104号 托比·沃尔什 2 2010 对称破坏约束的对称性。 Zbl 1211.68384号 乔治·卡特西雷洛斯;托比·沃尔什 1 2010 满意度手册。 Zbl 1183.68568号 367 2009 聚合部分排序的首选项。 Zbl 1162.91343号 玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;克里斯汀·布伦特·维纳布尔;托比·沃尔什 16 2009 在杯赛和循环赛中操纵比赛。 Zbl 1260.68184号 泰勒·罗素;托比·沃尔什 8 2009 结合对称破坏和全局约束。 Zbl 1248.68457号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 三 2009 多集合排序约束的过滤算法。 Zbl 1191.68633号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;托比·沃尔什 三 2009 重新设置全局语法约束。 Zbl 1241.68102号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 2 2009 范围和根:用于指定和传播计数和发生约束的两种常见模式。 Zbl 1186.68432号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,Brahim;克孜尔坦、泽内普;托比·沃尔什 1 2009 非二进制约束的域筛选一致性。 Zbl 1182.68218号 克里斯蒂安·贝西尔;科斯塔斯·斯特乔;托比·沃尔什 11 2008 SAT求解运行时的在线估计。 Zbl 1138.68540号 沙伊·哈伊姆;托比·沃尔什 三 2008 加权CFG约束。 Zbl 1142.68515号 乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 1 2008 分解全局语法约束。 Zbl 1145.68529号 克洛德·盖·昆珀;托比·沃尔什 16 2007 序列约束的编码。 兹比尔1145.68507 布兰德,塞巴斯蒂安;尼娜·纳罗季斯卡;克洛德·盖·昆珀;彼得·斯塔基;托比·沃尔什 10 2007 具有全局约束的推理的复杂性。 Zbl 1124.68103号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;托比·沃尔什 8 2007 打破可互换变量和值的对称性。 Zbl 1145.68521号 法律,Y.C。;J.H.M.李。;托比·沃尔什;叶俊英(音)。 6 2007 约束编程手册。 兹比尔1175.90011 298 2006 随机约束编程:一种基于场景的方法。 Zbl 1103.68828号 阿玛甘·塔里木,S。;苏雷什·马南达尔;托比·沃尔什 27 2006 全局语法约束。 Zbl 1160.68560号 克洛德·盖·昆珀;托比·沃尔什 17 2006 一般对称破坏约束。 Zbl 1160.68571号 托比·沃尔什 14 2006 定性条件偏好推理的硬约束和软约束。 Zbl 1125.68410号 C·多姆什拉克。;普雷斯特维奇,S。;F.罗西。;维纳布尔,K.B。;沃尔什,T。 11 2006 字典排序约束的传播算法。 Zbl 1131.68521号 艾伦·M·弗里希。;赫尼奇,卜拉欣;克孜尔坦、泽内普;伊恩·米格尔;托比·沃尔什 10 2006 NValue约束的过滤算法。 Zbl 1114.68064号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 7 2006 其中,常见约束和不相交约束。 兹比尔1180.68244 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 5 2006 集合、多集合和元组变量的所有不同和全局基数约束。 Zbl 1180.68249号 克洛德·盖·昆珀;托比·沃尔什 三 2006 四凸是NP-完全的。 Zbl 1185.68354号 靖子武胜;托比·沃尔什 三 2006 ROOTS约束。 Zbl 1160.68539号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,Brahim;克孜尔坦、泽内普;托比·沃尔什 2 2006 范围约束:算法和实现。 Zbl 1177.68182号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 1 2006 G12项目:将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 9 2005 NValue约束的过滤算法。 Zbl 1133.68427号 克里斯蒂安·贝西埃;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;克孜尔坦、泽内普;托比·沃尔什 7 2005 满意度测试的理论与应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。 Zbl 1077.68002号 4 2005 全局约束的可处理性。 Zbl 1152.68542号 克里斯蒂安·贝西尔;埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;托比·沃尔什 13 2004 约束编程中的超级解决方案。 Zbl 1094.68645号 埃曼纽尔·希伯拉德;赫尼奇,卜拉欣;托比·沃尔什 10 2004 排列和注入问题的双重建模。 Zbl 1080.68667号 赫尼奇,卜拉欣;芭芭拉·史密斯。;托比·沃尔什 8 2004 使用DPLL搜索求解非子句公式。 Zbl 1152.68588号 克里斯蒂安·蒂法尔;法希姆·巴克斯;托比·沃尔什 7 2004 SAT中的局部一致性。 Zbl 1204.68184号 克里斯蒂安·贝西埃;埃曼纽尔·希伯拉德;托比·沃尔什 5 2004 用于稳健求解的混合建模。 Zbl 1156.90474号 赫尼奇,卜拉欣;克孜尔坦、泽内普;Miguel,伊恩;托比·沃尔什 1 2004 CGRASS:转换约束满足问题的系统。 Zbl 1023.68668号 艾伦·M·弗里希。;伊恩·米格尔;托比·沃尔什 10 2003 具有多集约束的一致性和传播:正式观点。 Zbl 1273.68364号 托比·沃尔什 三 2003 二进制约束与非二进制约束。 Zbl 0999.68201号 法希姆·巴克斯;陈新光;彼得·范比克;托比·沃尔什 6 2002 用于有界模型检查的基于定点的编码。 兹比尔1019.68590 艾伦·弗里希;丹尼尔·谢里丹;托比·沃尔什 三 2002 随机约束满足:缺陷和结构。 Zbl 0992.68193号 伊恩·詹特(Ian P.Gent)。;伊万麦金太尔;帕特里克·普罗瑟;芭芭拉·史密斯。;托比·沃尔什 30 2001 排列问题和通道约束。 Zbl 1273.68365号 托比·沃尔什 10 2001 约束编程的原理和实践–CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。 Zbl 0984.00059号 2 2001 SAT(v)CSP。 兹比尔1044.68808 托比·沃尔什 36 2000 单一一致性。 Zbl 1044.68790号 帕特里克·普罗瑟;科斯塔斯·斯特乔;托比·沃尔什 11 2000 关于自动数学发现中的兴趣概念。 Zbl 1011.68621号 西蒙·科尔顿;阿兰·邦迪;托比·沃尔什 10 2000 2000年满意度研究重点。第三次国际研讨会,1998年9月。 Zbl 0963.00028号 8 2000 将命题可满足性转化为约束满足。 Zbl 0989.68526号 托比·沃尔什 2 2000 特别问题:2000年的可满足性。 Zbl 0956.00015号 1 2000 HP90:一个通用且灵活的Fortran 90\(hp\)-FE代码。 Zbl 0912.68014号 L.Demkowicz。;Gerdes,K。;施瓦布,C。;A.巴杰。;T·沃尔什。 24 1998 相变的渐近和有限尺寸参数:哈密顿电路案例研究。 Zbl 1338.68103号 弗兰克、杰里米;伊恩·詹特(Ian P.Gent)。;托比·沃尔什 2 1998 抽象证明检查:由不完全性定理驱动的示例。 Zbl 0890.03004号 阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 4 1997 TSP相变。 Zbl 0907.68177号 伊恩·詹特(Ian P.Gent)。;托比·沃尔什 19 1996 归纳证明的分歧批评家。 Zbl 0900.68383号 T·沃尔什。 7 1996 波纹的计算和终止。 Zbl 0847.68105号 David A.Basin。;托比·沃尔什 5 1996 可满足性约束缺口。 Zbl 1508.68330号 伊恩·詹特(Ian P.Gent)。;托比·沃尔什 4 1996 计算关键性。 Zbl 0906.68138号 A.邦迪。;金奇利亚,F。;R·塞巴斯蒂亚尼。;T·沃尔什。 2 1996 简单的问题有时很难解决。 Zbl 0824.68107号 伊恩·詹特(Ian P.Gent)。;托比·沃尔什 22 1994 分歧评论家。 兹比尔1433.68571 托比·沃尔什 2 1994 涟漪终止命令。 Zbl 1433.68187号 David A.Basin。;托比·沃尔什 1 1994 GSAT中搜索的实证分析。 Zbl 0900.68178号 詹特,I.P。;T·沃尔什。 9 1993 不一致的抽象空间的必然性。 Zbl 0784.68075号 福斯托·金奇利亚;托比·沃尔什 1 1993 抽象理论。 Zbl 0762.68054号 福斯托·金奇利亚;托比·沃尔什 31 1992 …和另外3个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1907年作者引用 36 托比·沃尔什 22 若昂·席尔瓦侯爵。 15 彼得·詹姆斯·斯塔基 13 伊恩·菲利普·根特 13 弗朗西丝卡·罗西 12 斯泽德,斯特凡 12 克里斯托夫·韦登巴赫 11 克里斯蒂安·贝西尔 11 赫尼奇,卜拉欣 11 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 11 彼得·杰文斯(Peter G.Jeavons)。 11 托尔斯滕·绍布(Torsten H.Schaub)。 11 斯坦尼斯拉夫·伊文 10 阿明·比尔 10 大卫·A·科恩。 10 马蒂·Järvisalo 10 李,吉米·霍曼 10 Peter W.南丁格尔。 10 约格·马提亚斯·罗特 9 哈里斯·阿齐兹 9 奥拉夫·拜尔斯多夫 9 马丁·库珀。 9 马丁·盖布瑟 9 米科拉什·亚诺塔 9 史蒂文·普雷斯特维奇。 9 卢梭,路易斯·马汀 9 克里斯汀·布伦特·维纳布尔 9 马克·华莱士。 8 埃曼纽尔·希伯拉德 8 巴里·奥沙利文 8 罗西、罗伯托 8 Aleksandr Anatol’evich塞梅诺夫 8 彼得·斯科隆 8 瓦鲁特省苏克松邦 8 塔里木,S.Armagan 7 阿兰·邦迪 7 彼得·法利舍夫斯基 7 维杰·加内什 7 玛丽亚·加西亚·德拉班达 7 克里斯托弗·杰斐逊 7 乔治·卡特西雷洛斯 7 奥利弗·库尔曼 7 克利斯朵夫·勒库特 7 伊恩·米格尔 7 尼娜·纳罗季斯卡 7 玛丽亚·西尔维亚·皮尼 7 埃雷尔·塞加尔·哈列维 7 科斯塔斯·斯特乔 7 尹明浩 6 艾丽卡·阿尔布拉汉姆 6 穆苏诺里·班巴拉 6 丹尼尔·贝伦德 6 马可·卡多利 6 西蒙·德·吉夫里 6 戴,帕拉什 6 伯纳德·根德伦 6 Heule,Marijn J.H。 6 彼得·琼森 6 尤利亚·利勒 6 帕辛·马努兰西 6 很多,费利普 6 罗伯托·塞巴斯蒂亚尼 6 马蒂娜·塞德尔 6 Yochai Twitto 5 乔舒亚·布林霍恩 5 米克尔波菲尔 5 马库斯·布里尔 5 亚历山德罗·西马蒂 5 迈克尔·科迪什 5 丽娜·德希特 5 巴特·德梅恩 5 伊迪丝·埃尔金 5 纪尧姆·埃斯卡莫彻 5 高勇 5 枪,蒂亚斯 5 霍尔格·H·胡斯。 5 科齐里亚斯(Ilias S.Kotsireas)。 5 安德烈·克鲁金(Andrei A.Krokhin)。 5 法律,Yat Chiu 5 林奇,因斯 5 克里斯托弗·米尔斯 5 卡洛斯·门西娅 5 米歇拉·米兰 5 齐格弗里德·尼克森 5 拉赫达尔·塞伊斯 5 苏,武藏 5 铃木田村 5 西里尔·特里奥克斯 5 马图·维拉雷特 5 奥列格·谢尔盖维奇·扎金 4 阿坤、奥祖尔 4 卡洛斯·安索特吉 4 J.克里斯托弗·贝克 4 尼古拉斯·贝尔迪塞努 4 布莱特,柯蒂斯 4 Ioannis的Caragiannis 4 乔迪·科尔 4 Czarnecki、Krzysztof 4 詹姆斯·哈罗德·达文波特 4 吕克·德·雷德 …还有1807位作者 全部的 前5名138篇连载文章中引用 157 人工智能 105 约束条件 50 理论计算机科学 39 数学与人工智能年鉴 35 自动推理杂志 27 逻辑程序设计理论与实践 23 运筹学年鉴 22 离散应用数学 20 计算机与运筹学 19 欧洲运筹学杂志 15 计算机与系统科学杂志 13 社会选择与福利 13 人工智能研究杂志 11 国际近似推理杂志 10 算法学 9 符号计算杂志 9 信息与计算 9 信息计算杂志 8 信息处理信件 7 信息科学 7 启发式杂志 6 数学编程。A系列B系列 6 离散优化 5 模糊集与系统 5 数学社会科学 5 组合优化期刊 5 ACM计算逻辑事务 5 4OR(或) 5 统计力学杂志:理论与实验 5 计算机科学中的逻辑方法 4 信息学报 4 SIAM离散数学杂志 4 机器学习 4 系统设计中的形式化方法 4 工程中的数学问题 4 调度日志 4 应用逻辑杂志 4 可满足性、布尔建模与计算杂志 4 程序设计中的逻辑和代数方法杂志 三 哲学逻辑杂志 三 SIAM计算机杂志 三 国际计算机科学基础杂志 三 自动化和远程控制 三 计算系统理论 三 ACM实验算法杂志 三 算法 三 计算机科学评论 2 计算机与数学及其应用 2 物理A 2 Automatica公司 2 信息 2 经济理论杂志 2 数学心理学杂志 2 运筹学数学 2 计算机程序设计科学 2 计算机科学与技术杂志 2 计算的形式方面 2 随机结构与算法 2 离散事件动态系统 2 游戏与经济行为 2 控制论与系统分析 2 运筹学国际交易 2 软计算 2 CEJOR公司。中欧运筹学杂志 2 RAIRO公司。运筹学 2 OR频谱 2 计算机科学中的数学 2 非线性分析。混合动力系统 2 数学规划计算 2 SN运营研究论坛 1 《美国数学月刊》 1 计算机物理通信 1 离散数学 1 Zhurnal Vychislitel’noĭMatematiki i Matematichesko 1 应用数学与计算 1 计算 1 国际博弈论杂志 1 计算与应用数学杂志 1 最优化理论与应用杂志 1 运筹学 1 编程和计算机软件 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 理论与决策 1 筑波数学期刊 1 欧洲组合数学杂志 1 运营研究信件 1 组合数学 1 纯逻辑与应用逻辑年鉴 1 订单 1 离散和计算几何 1 AI通信 1 吉泰。实验与理论人工智能杂志 1 神经计算 1 日本工业与应用数学杂志 1 计算几何 1 国际代数与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 人工智能综述 1 应用数学建模 1 美国数学学会公报。新系列 …还有38部连续剧 全部的 前5名36个领域引用 764 计算机科学(68至XX) 283 运筹学、数学规划(90-XX) 142 博弈论、经济学、金融和其他社会和行为科学(91-XX) 95 数学逻辑和基础(03-XX) 66 组合数学(05-XX) 18 信息与通信理论、电路(94-XX) 16 统计学(62-XX) 14 生物学和其他自然科学(92-XX) 11 系统论;控制(93至XX) 7 一般代数系统(08-XX) 7 凸和离散几何(52-XX) 6 数值分析(65-XX) 5 数论(11-XX) 5 概率论与随机过程(60-XX) 5 统计力学,物质结构(82-XX) 4 总体主题;集合(00-XX) 4 历史和传记(01-XX) 4 有序,格,有序代数结构(06-XX) 4 群论与推广(20-XX) 4 量子理论(81-XX) 三 变分法与最优控制;最优化(49至XX) 三 几何图形(51至XX) 2 代数几何(14-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 结合环与代数(16-XX) 2 动力系统和遍历理论(37至XX) 2 粒子和系统力学(70-XX) 1 交换代数(13-XX) 1 范畴理论;同调代数(18-XX) 1 测量和集成(28-XX) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 整体分析,流形分析(58至XX) 1 可变形固体力学(74-XX) 1 经典热力学,传热(80-XX) 1 数学教育(97-XX) 按年份列出的引文