掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
221
条结果
1.
A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects
机译:
基于拉格朗日放松的基于前后改善启发式启发式,可以最大限度地提高资源受限项目的净值
作者:
Hanyu Gu
;
Andreas Schutt
;
Peter J. Stuckey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
2.
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling
机译:
混合整数编程与逻辑的弯曲器分解规划和调度
作者:
Andre Cire
;
Elvin Coban
;
John N. Hooker
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
3.
Tight LP-Relaxations of Overlapping Global Cardinality Constraints
机译:
紧密的LP-leastations重叠全球基数限制
作者:
Ioannis Mourtos
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
4.
Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming
机译:
用于混合整数非线性规划的学习和传播拉格朗日可变界限
作者:
Ambros M. Gleixner
;
Stefan Weltge
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
5.
Constraint-Based Fitness Function for Search-Based Software Testing
机译:
基于约束的健身功能,用于基于搜索的软件测试
作者:
Abdelilah Sakti
;
Yann-Gael Gueheneuc
;
Gilles Pesant
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
6.
A Branch-and-Cut Algorithm for Solving the Team Orienteering Problem
机译:
一种解决团队定向问题的分支和切割算法
作者:
Duc-Cuong Dang
;
Racha El-Hajj
;
Aziz Moukrim
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
关键词:
Branch-and-cut;
Dominance property;
Incompatibility;
Clique cut;
7.
Improving Strong Branching by Propagation
机译:
通过传播改善强大的分支
作者:
Gerald Gamrath
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
8.
Coalition Formation for Servicing Dynamic Motion Tasks
机译:
用于维修动态运动任务的联盟形成
作者:
Udara Weerakoon
;
Vicki Allan
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
关键词:
Coalition formation;
Sensor networks;
Data routing;
Simulation;
9.
An Adaptive Model Restarts Heuristic
机译:
自适应模型重新启动启发式
作者:
Nina Narodytska
;
Toby Walsh
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
10.
An Empirical Evaluation of Portfolios Approaches for Solving CSPs
机译:
求解CSP的投资组合方法的实证评价
作者:
Roberto Amadini
;
Maurizio Gabbrielli
;
Jacopo Mauro
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
11.
Computational Experience with Hypergraph-Based Methods for Automatic Decomposition in Discrete Optimization
机译:
基于超图的自动分解方法的计算经验
作者:
Jiadong Wang
;
Ted Ralphs
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
12.
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers
机译:
通过来自冲突和背包封面的隐含文字强制推断
作者:
Tobias Achterberg
;
Ashish Sabharwal
;
Horst Samulowitz
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
13.
Improved Discrete Reformulations for the Quadratic Assignment Problem
机译:
改进了二次分配问题的离散重新设置
作者:
Axel Nyberg
;
Tapio Westerlund
;
Andreas Lundell
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
关键词:
Combinatorial optimization;
Quadratic assignment problem;
Mixed integer programming;
Global optimization;
14.
Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods
机译:
轨道萎缩:混合MIP / CP方法的新工具
作者:
Domenico Salvagnin
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
15.
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling
机译:
最近使用约束整数规划进行资源分配和调度的改进
作者:
Stefan Heinz
;
Wen-Yang Ku
;
J. Christopher Beck
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
16.
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
机译:
解释累积资源约束的时间表边缘找到传播
作者:
Andreas Schutt
;
Thibaut Feydy
;
Peter J. Stuckey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
17.
A Lagrangian Relaxation for Golomb Rulers
机译:
Golomb统治者的拉格朗日放松
作者:
Marla R. Slusky
;
Willem-Jan van Hoeve
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
18.
Enumerating Infeasibility: Finding Multiple MUSes Quickly
机译:
枚举不可行性:快速找到多个缪斯
作者:
Mark H. Liffiton
;
Ammar Malik
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
19.
Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms
机译:
一些新的CSP类和与回溯算法的关系
作者:
Achref El Mouelhi
;
Philippe Jegou
;
Cyril Terrioux
;
Bruno Zanuttini
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
20.
Modeling Robustness in CSPs as Weighted CSPs
机译:
将CSP中的稳健性建模为加权CSP
作者:
Laura Climent
;
Richard J. Wallace
;
Miguel A. Salido
;
Federico Barber
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
关键词:
Robustness;
Uncertainty;
Dynamic CSPs;
21.
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem
机译:
调整大邻域搜索机器重新分配问题的参数
作者:
Yuri Malitsky
;
Deepak Mehta
;
Barry OSullivan
;
Helmut Simonis
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
22.
MiniZinc with Functions
机译:
具有职能的minmin动力
作者:
Peter J. Stuckey
;
Guido Tack
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
23.
A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint
机译:
k维累积约束的同步扫描算法
作者:
Arnaud Letort
;
Mats Carlsson
;
Nicolas Beldiceanu
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
24.
An MDD Approach to Multidimensional Bin Packing
机译:
多维箱包装的MDD方法
作者:
Brian Kell
;
Willem-Jan van Hoeve
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
25.
Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming
机译:
用混合整数规划和约束规划解决风电场布局优化
作者:
Peter Y. Zhang
;
David A. Romero
;
J. Christopher Beck
;
Cristina H. Amon
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
26.
On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables
机译:
用无界变量解决混合整数约束满意问题
作者:
Hermann Schichl
;
Arnold Neumaier
;
Mihaly Csaba Markot
;
Ferenc Domes
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
关键词:
Mixed-integer CSPs;
Constraint propagation;
Relaxation methods;
Unbounded variables;
Interval analysis;
Directed acyclic graphs;
27.
The Rooted Maximum Node-Weight Connected Subgraph Problem
机译:
根本最大节点重量连接的子图问题
作者:
Eduardo Alvarez-Miranda
;
Ivana Ljubic
;
Petra Mutzel
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
28.
Decision Diagrams and Dynamic Programming
机译:
决策图和动态编程
作者:
John N. Hooker
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
29.
Revisiting Hyper Binary Resolution
机译:
重新审视超二元分辨率
作者:
Marijn J. H. Heule
;
Matti Jarvisalo
;
Armin Biere
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
30.
Cloud Branching
机译:
云分支
作者:
Timo Berthold
;
Domenico Salvagnin
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
31.
CP Methods for Scheduling and Routing with Time-Dependent Task Costs
机译:
具有时间依赖的任务成本的调度和路由的CP方法
作者:
Elena Kelareva
;
Kevin Tierney
;
Philip Kilby
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
32.
Guiding Combinatorial Optimization with UCT
机译:
使用UCT引导组合优化
作者:
Ashish Sabharwal
;
Horst Samulowitz
;
Chandra Reddy
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
33.
A Multilevel Algorithm for Large Unconstrained Binary Quadratic Optimization
机译:
一种大型无约束二进制二元优化的多级算法
作者:
Yang Wang
;
Zhipeng Lu
;
Fred Glover
;
Jin-Kao Hao
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
关键词:
Multilevel approach;
Unconstrained binary quadratic optimization;
Hybrid method;
Memetic algorithm;
Tabu search;
34.
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers
机译:
用于求解器独立模型操纵和混合求解器的高级语言
作者:
Daniel Fontaine
;
Laurent Michel
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
35.
A Contractor Based on Convex Interval Taylor
机译:
基于凸间泰勒的承包商
作者:
Ignacio Araya
;
Gilles Trombettoni
;
Bertrand Neveu
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
36.
FDCC: A Combined Approach for Solving Constraints over Finite Domains and Arrays
机译:
FDCC:用于在有限域和数组上解决约束的组合方法
作者:
Sebastien Bardin
;
Arnaud Gotlieb
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
37.
The Conjunction of Interval AMONG Constraints
机译:
限制间隔的结合
作者:
Gilles Chabert
;
Sophie Demassey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
38.
Activity-Based Search for Black-Box Constraint Programming Solvers
机译:
基于活动的黑匣子约束编程求解器
作者:
Laurent Michel
;
Pascal Van Hentenryck
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
39.
Global Cyclic Cumulative Constraint
机译:
全球循环累积约束
作者:
Alessio Bonfietti
;
Michele Lombardi
;
Luca Benini
;
Michela Milano
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
关键词:
Cyclic scheduling problem;
Cumulative constraint;
Filtering algorithm;
40.
Explaining Propagators for s-DNNF Circuits
机译:
解释S-DNNF电路的传播者
作者:
Graeme Gange
;
Peter J. Stuckey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
41.
Complete Characterization of Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem
机译:
完全表征双机流量店调度问题的近乎最佳序列
作者:
Jean-Charles Billaut
;
Emmanuel Hebrard
;
Pierre Lopez
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
42.
Maximising the Net Present Value for Resource-Constrained Project Scheduling
机译:
最大化资源约束项目调度的净现值
作者:
Andreas Schutt
;
Geoffrey Chu
;
Peter J. Stuckey
;
Mark G. Wallace
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
43.
Graph Coloring Facets from All-Different Systems
机译:
来自全不同系统的图形着色方面
作者:
David Bergman
;
John N. Hooker
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
44.
Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem
机译:
可变排序用于将BDD应用于最大独立设置问题
作者:
David Bergman
;
Andre A. Cire
;
Willem-Jan van Hoeve
;
John N. Hooker
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
45.
On Beam Search for Multicriteria Combinatorial Optimization Problems
机译:
关于梁搜索多轨道组合优化问题
作者:
Anibal Ponte
;
Luis Paquete
;
Jose R. Figueira
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
46.
Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation
机译:
实例特定算法配置作为基于非模型的产品组成方法
作者:
Yuri Malitsky
;
Meinolf Sellmann
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
47.
Hybrid Heuristics for Multimodal Homecare Scheduling
机译:
用于多式联马雷调度的混合启发式
作者:
Andrea Rendl
;
Matthias Prandtstetter
;
Gerhard Hiermann
;
Jakob Puchinger
;
Gunther Raidl
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
48.
Constraint Optimization Problems and Bounded Tree-Width Revisited
机译:
约束优化问题和已重新定义的有界树宽
作者:
Tommy Farnqvist
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
关键词:
Valued constraint satisfaction;
Tree decompositions;
Dynamic programming;
Parameterized complexity;
49.
Explaining Flow-Based Propagation
机译:
解释基于流基的传播
作者:
Nicholas Downing
;
Thibaut Feydy
;
Peter J. Stuckey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
50.
Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling
机译:
重新考虑混合整数编程和基于MIP的混合动力车进行调度
作者:
Stefan Heinz
;
J. Christopher Beck
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
51.
Solving the Longest Simple Path Problem with Constraint-Based Techniques
机译:
解决基于约束的技术的最长的简单路径问题
作者:
Quang Dung Pham
;
Yves Deville
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
关键词:
Constraint Programming;
Local search;
Longest path;
Graph algorithms;
Comparison of models;
52.
Simple Temporal Problems in Route Scheduling for the Dial-a-Ride Problem with Transfers
机译:
转移拨号问题路线调度中的简单时间问题
作者:
Renaud Masson
;
Fabien Lehuede
;
Olivier Peton
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
关键词:
Vehicle Routing;
Feasibility;
Simple Temporal Problem;
Dial-a-Ride Problem;
Transfers;
53.
Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility
机译:
基于信息素的启发式色谱柱生成,用于黑匣子可行性的车辆路由问题
作者:
Florence Massen
;
Yves Deville
;
Pascal Van Hentenryck
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
关键词:
Column Generation;
Set Partitioning;
Vehicle Routing;
Black Box Feasibility;
54.
Combining Static and Dynamic Models for Boosting Forward Planning
机译:
结合静态和动态模型来提升向前规划
作者:
Cedric Pralet
;
Gerard Verfaillie
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
55.
Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration
机译:
大型功率恢复随机自适应车辆分解
作者:
Ben Simon
;
Carleton Coffrin
;
Pascal Van Hentenryck
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
56.
Flow-Based Combinatorial Chance Constraints
机译:
基于流动的组合机会约束
作者:
Andre A. Cire
;
Elvin Coban
;
Willem-Jan van Hoeve
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
57.
A Computational Geometry-Based Local Search Algorithm for Planar Location Problems
机译:
基于计算几何的本地搜索算法,用于平面位置问题
作者:
Hadrien Cambazard
;
Deepak Mehta
;
Barry OSullivan
;
Luis Quesada
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2012年
58.
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling
机译:
资源约束项目调度的约束整数编程方法
作者:
Timo Berthold
;
Stefan Heinz
;
Marco E. Lubbecke
;
Rolf H. Mohring
;
Jens Schulz
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
59.
Integrated Maintenance Scheduling for Semiconductor Manufacturing
机译:
半导体制造的集成维护调度
作者:
Andrew Davenport
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
60.
Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results
机译:
超级计算机的大规模并行约束规划:挑战和初始结果
作者:
Feng Xie
;
Andrew Davenport
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
61.
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition
机译:
由基于逻辑的弯曲器分解的单一设施调度长时间的视野
作者:
Elvin Coban
;
John N. Hooker
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
62.
An In-Out Approach to Disjunctive Optimization
机译:
析出优化的外出方法
作者:
Matteo Fischetti
;
Domenico Salvagnin
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
关键词:
Mixed-integer programming;
Cutting planes;
Disjunctive optimization;
63.
Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches
机译:
食品救援计划的车辆路线:不同方法的比较
作者:
Canan Gunes
;
Willem-Jan van Hoeve
;
Sridhar Tayur
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
64.
A Constraint Programming Approach for the Service Consolidation Problem
机译:
服务整合问题的约束编程方法
作者:
Kanika Dhyani
;
Stefano Gualandi
;
Paolo Cremonesi
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
65.
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
机译:
Lazy Qualiage Bighare:结合SAT和CP(和MIP?)解决的力量
作者:
Peter J. Stuckey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
66.
Improving the Held and Karp Approach with Constraint Programming
机译:
用约束规划改善持有和卡路方法
作者:
Pascal Benchimol
;
Jean-Charles Regin
;
Louis-Martin Rousseau
;
Michel Rueher
;
Willem-Jan van Hoeve
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
67.
Constraint Programming and Combinatorial Optimisation in Numberjack
机译:
NuperJack中的约束编程和组合优化
作者:
Emmanuel Hebrard
;
Eoin OMahony
;
Barry OSullivan
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
68.
Rapid Learning for Binary Programs
机译:
快速学习二进制程序
作者:
Timo Berthold
;
Thibaut Feydy
;
Peter J. Stuckey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
69.
Stochastic Constraint Programming by Neuroevolution with Filtering
机译:
通过滤波的神经发展随机约束编程
作者:
Steve D. Prestwich
;
S. Armagan Tarim
;
Roberto Rossi
;
Brahim Hnich
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
70.
The Weighted Spanning Tree Constraint Revisited
机译:
重新介绍了加权生成树约束
作者:
Jean-Charles Regin
;
Louis-Martin Rousseau
;
Michel Rueher
;
Willem-Jan van Hoeve
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
71.
Consistency Check for the Bin Packing Constraint Revisited
机译:
Repatiented的Bin包装约束的一致性检查
作者:
Julien Dupuis
;
Pierre Schaus
;
Yves Deville
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
72.
A SAT Encoding for Multi-dimensional Packing Problems
机译:
用于多维包装问题的饱和编码
作者:
Stephane Grandcolas
;
Cedric Pinto
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
73.
Revisiting the Soft Global Cardinality Constraint
机译:
重新审视软的全球基数约束
作者:
Pierre Schaus
;
Pascal Van Hentenryck
;
Alessandro Zanarini
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
74.
Characterization and Automation of Matching-Based Neighborhoods
机译:
基于匹配的社区的特征与自动化
作者:
Thierry Benoist
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
75.
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios
机译:
面向服务的志愿者计算,用于使用投资组合解决大规模并行约束
作者:
Zeynep Kiziltan
;
Jacopo Mauro
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
76.
Matrix Interdiction Problem
机译:
矩阵间隔问题
作者:
Shiva Prasad Kasiviswanathan
;
Feng Pan
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
77.
A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts
机译:
用于戈梅里的混合整数剪辑的放松和切割框架
作者:
Matteo Fischetti
;
Domenico Salvagnin
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
关键词:
Mixed-integer programming;
Gomory's cuts;
Lagrangian relaxation;
Relax and Cut;
78.
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
机译:
蚁群优化与约束编程优化的强大组合
作者:
Madjid Khichane
;
Patrick Albert
;
Christine Solnon
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
79.
On the Design of the Next Generation Access Networks
机译:
关于下一代接入网络的设计
作者:
Stefano Gualandi
;
Federico Malucelli
;
Domenico L. Sozzi
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
80.
Constraint Programming with Arbitrarily Large Integer Variables
机译:
具有任意大型整数变量的约束编程
作者:
Anna Moss
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
81.
Upper Bounds on the Number of Solutions of Binary Integer Programs
机译:
上限对二进制整数程序的解数
作者:
Siddhartha Jain
;
Serdar Kadioglu
;
Meinolf Sellmann
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
关键词:
Solution counting;
CP-based Lagrangian relaxation;
Surrogate relaxation;
Dynamic programming;
82.
Automated Configuration of Mixed Integer Programming Solvers
机译:
混合整数编程求解器的自动配置
作者:
Frank Hutter
;
Holger H. Hoos
;
Kevin Leyton-Brown
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
83.
Solving Connected Subgraph Problems in Wildlife Conservation
机译:
解决野生动物保护中的相关子画面问题
作者:
Bistra Dilkina
;
Carla P. Gomes
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
84.
More Robust Counting-Based Search Heuristics with Alldifferent Constraints
机译:
基于伯爵的基于次数的搜索启发式使用alldifferent约束
作者:
Alessandro Zanarini
;
Gilles Pesant
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
85.
Hybrid Methods for the Multileaf Collimator Sequencing Problem
机译:
用于多叶准直器测序问题的混合方法
作者:
Hadrien Cambazard
;
Eoin OMahony
;
Barry OSullivan
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
86.
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach
机译:
作业商店计划使用设置时间和最大时间滞后:简单的约束编程方法
作者:
Diarmuid Grimes
;
Emmanuel Hebrard
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
87.
The Increasing Nvalue Constraint
机译:
越来越大的nvalue约束
作者:
Nicolas Beldiceanu
;
Fabien Hermenier
;
Xavier Lorca
;
Thierry Petit
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
88.
Constraint-Based Local Search for Constrained Optimum Paths Problems
机译:
基于约束的本地搜索限制最佳路径问题
作者:
Quang Dung Pham
;
Yves Deville
;
Pascal Van Hentenryck
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
89.
On Matrices, Automata, and Double Counting
机译:
在矩阵,自动机和双重计数上
作者:
Nicolas Beldiceanu
;
Mats Carlsson
;
Pierre Flener
;
Justin Pearson
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
90.
Constraint Reasoning with Uncertain Data Using CDF-Intervals
机译:
使用CDF间隔的不确定数据约束推理
作者:
Aya Saad
;
Carmen Gervet
;
Slim Abdennadher
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
91.
Automatically Exploiting Subproblem Equivalence in Constraint Programming
机译:
在约束编程中自动利用子问题等价
作者:
Geoffrey Chu
;
Maria Garcia de la Banda
;
Peter J. Stuckey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
92.
Boosting Set Constraint Propagation for Network Design
机译:
促进网络设计的集合约束传播
作者:
Justin Yip
;
Pascal Van Hentenryck
;
Carmen Gervet
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
93.
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution
机译:
随机上一英里分发的战略规划灾难恢复
作者:
Pascal Van Hentenryck
;
Russell Bent
;
Carleton Coffrin
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2010年
94.
A Hybrid LS/CP Approach to Solve the Weekly Log-Truck Scheduling Problem
机译:
一个混合LS / CP方法来解决每周记录卡车调度问题
作者:
Nizar El Hachemi
;
Michel Gendreau
;
Louis-Martin Rousseau
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
95.
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications
机译:
CP-INSINE:在业务应用程序中嵌入基于约束的决策发动机
作者:
Jacob Feldman
;
Eugene Freuder
;
James Little
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
96.
A Benders' Approach to a Transportation Network Design Problem
机译:
弯道对运输网络设计问题的方法
作者:
Benjamin Peterson
;
Michael A. Trick
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
97.
Progress on the Progressive Party Problem
机译:
进步党问题的进展
作者:
Helmut Simonis
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
98.
Constraint Programming and Mixed Integer Linear Programming for Rescheduling Trains under Disrupted Operations A Comparative Analysis of Models, Solution Methods, and Their Integration
机译:
限制编程和混合整数线性编程,用于重新安排培训的中断操作,其模型,解决方案方法及其集成的比较分析
作者:
Rodrigo Acuna-Agost
;
Philippe Michelon
;
Dominique Feillet
;
Serigne Gueye
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
99.
Constraint Models for Sequential Planning
机译:
顺序规划的约束模型
作者:
Roman Bartak
;
Daniel Toropila
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
100.
Modelling Search Strategies in Rules2CP
机译:
在规则2CP中建模搜索策略
作者:
Francois Fages
;
Julien Martin
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
上一页
1
2
3
下一页
意见反馈
回到顶部
回到首页