掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
1.
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年
2.
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年
3.
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年
4.
A Fast Algorithm to Solve the Frequency Assignment Problem
机译:
一种解决频率分配问题的快速算法
作者:
Mohammad Dib
;
Alexandre Caminada
;
Hakim Mabed
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
5.
Hybrid Branching
机译:
混合分支
作者:
Tobias Achterberg
;
Timo Berthold
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
6.
G12 - Towards the Separation of Problem Modelling and Problem Solving
机译:
G12 - 朝着解决问题建模和解决问题的分离
作者:
Mark Wallace
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
关键词:
Constraint programming;
Modeling;
Optimization;
Software platform;
Search;
7.
Machine Learning Framework for Classification in Medicine and Biology
机译:
医学与生物学分类的机器学习框架
作者:
Eva K. Lee
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
8.
The Polytope of Context-Free Grammar Constraints
机译:
无背景语法约束的多容姿势
作者:
Gilles Pesant
;
Claude-Guy Quimper
;
Louis-Martin Rousseau
;
Meinolf Sellmann
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
关键词:
Grammar constraints;
Polytope;
9.
Solution Enumeration for Projected Boolean Search Problems
机译:
投影布尔搜索问题的解决方案枚举
作者:
Martin Gebser
;
Benjamin Kaufmann
;
Torsten Schaub
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
10.
Scalable Load Balancing in Nurse to Patient Assignment Problems
机译:
护士中的可扩展负载平衡到患者分配问题
作者:
Pierre Schaus
;
Pascal Van Hentenryck
;
Jean-Charles Regin
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
11.
Optimal Interdiction of Unreactive Markovian Evaders
机译:
无反应马尔维亚避难者的最佳拦截
作者:
Alexander Gutfraind
;
Aric Hagberg
;
Feng Pan
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
12.
A Shortest Path-Based Approach to 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》
|
2009年
13.
Six Ways of Integrating Symmetries within Non-overlapping Constraints
机译:
在非重叠约束中集成对称性的六种方式
作者:
Magnus Agren
;
Nicolas Beldiceanu
;
Mats Carlsson
;
Mohamed Sbihi
;
Charlotte Truchet
;
Stephane Zampelli
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
14.
Sequencing and Counting with the multicost-regular Constraint
机译:
用多稳定的约束进行排序和计数
作者:
Julien Menana
;
Sophie Demassey
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
15.
Tightening the Linear Relaxation of a Mixed Integer Nonlinear Program Using Constraint Programming
机译:
使用约束编程收紧混合整数非线性程序的线性松弛
作者:
Sylvain Mouret
;
Ignacio E. Grossmann
;
Pierre Pestiaux
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
16.
Using Model Counting to Find Optimal Distinguishing Tests
机译:
使用模型计数找到最佳区别测试
作者:
Stefan Heinz
;
Martin Sachenbacher
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
17.
k-Clustering Minimum Biclique Completion via a Hybrid CP and SDP Approach
机译:
K-Clustering通过混合CP和SDP方法完成最小BICLIQUE完成
作者:
Stefano Gualandi
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
18.
Determining the Number of Games Needed to Guarantee an NHL Playoff Spot
机译:
确定保证NHL季后赛所需的游戏数量
作者:
Tyrel Russell
;
Peter van Beek
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
19.
DFS~* and the Traveling Tournament Problem
机译:
DFS〜*和旅行锦标赛问题
作者:
David C. Uthus
;
Patricia J. Riddle
;
Hans W. Guesgen
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
20.
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services
机译:
带宽限制最终可序列化数据服务的最佳部署
作者:
Laurent Michel
;
Pascal Van Hentenryck
;
Elaine Sonderegger
;
Alexander Shvartsman
;
Martijn Moraal
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
21.
Throughput Constraint for Synchronous Data Flow Graphs
机译:
同步数据流图的吞吐量约束
作者:
Alessio Bonfietti
;
Michele Lombardi
;
Michela Milano
;
Luca Benini
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
22.
Backdoors to Combinatorial Optimization: Feasibility and Optimality
机译:
后门与组合优化:可行性和最优性
作者:
Bistra Dilkina
;
Carla P. Gomes
;
Yuri Malitsky
;
Ashish Sabharwal
;
Meinolf Sellmann
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
关键词:
Search;
Variable selection;
Backdoor sets;
23.
Open Constraints in a Boundable World
机译:
在一个可行的世界中开放限制
作者:
Michael J. Maher
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
24.
Reformulating Global Grammar Constraints
机译:
重新制定全球语法约束
作者:
George Katsirelos
;
Nina Narodytska
;
Toby Walsh
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
25.
Max Energy Filtering Algorithm for Discrete Cumulative Resources
机译:
用于离散累积资源的最大能量滤波算法
作者:
Petr Vilim
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
关键词:
Constraint Programming;
Scheduling;
Discrete Cumulative Resource;
Propagation;
26.
Learning How to Propagate Using Random Probing
机译:
学习如何使用随机探测传播
作者:
Efstathios Stamatatos
;
Kostas Stergiou
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
27.
IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems
机译:
IBM ILOG CP Optimizer有关三个问题所示的详细调度
作者:
Philippe Laborie
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2009年
关键词:
Constraint Programming;
Scheduling;
28.
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年
29.
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年
30.
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年
31.
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年
32.
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;
33.
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年
34.
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年
35.
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年
36.
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年
37.
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年
38.
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年
39.
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年
40.
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年
41.
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年
42.
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年
43.
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年
44.
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年
45.
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年
46.
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年
47.
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;
48.
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年
49.
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年
50.
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年
51.
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;
52.
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年
53.
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年
54.
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年
55.
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年
56.
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年
57.
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年
58.
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年
59.
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年
60.
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年
61.
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年
62.
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年
63.
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年
64.
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年
65.
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;
66.
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年
67.
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年
68.
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年
69.
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年
70.
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年
71.
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;
72.
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年
73.
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年
74.
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年
75.
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年
76.
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年
77.
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年
78.
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年
79.
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年
80.
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;
81.
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年
82.
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年
83.
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;
84.
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;
85.
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;
86.
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年
87.
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年
88.
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年
89.
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年
90.
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年
91.
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年
92.
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年
93.
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年
94.
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年
95.
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;
96.
Improving Strong Branching by Propagation
机译:
通过传播改善强大的分支
作者:
Gerald Gamrath
会议名称:
《International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems》
|
2013年
97.
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;
98.
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年
99.
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年
100.
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年
意见反馈
回到顶部
回到首页