掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
团队文献服务
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on Integration of AI and OR Techniques in Constraint Programming
International conference on Integration of AI and OR Techniques in Constraint Programming
召开年:
2017
召开地:
Padua(IT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
39
条结果
1.
Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands
机译:
随机需求的切削库存问题中的最佳库存大小
作者:
Alessandro Zanarini
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
2.
Stochastic Task Networks Trading Performance for Stability
机译:
随机任务网络的稳定性交易性能
作者:
Kiriakos Simon Mountakis
;
Tomas Klos
;
Cees Witteveen
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Activity network;
Stochastic scheduling;
Solution robustness;
3.
Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables
机译:
使用时间间隔变量实时调度铁路交通
作者:
Quentin Cappart
;
Pierre Schaus
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
4.
Dynamic Temporal Decoupling
机译:
动态时间去耦
作者:
Kiriakos Simon Mountakis
;
Tomas Klos
;
Cees Witteveen
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Simple Temporal Problem;
Decoupling;
Flexibility;
5.
A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem
机译:
鱼雷调度问题的多阶段模拟退火算法。
作者:
Lucas Kletzander
;
Nysret Musliu
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Torpedo scheduling;
Simulated annealing;
Lexicographic evaluation function;
6.
Combining CP and ILP in a Tree Decomposition of Bounded Height for the Sum Colouring Problem
机译:
将CP和ILP组合在有界高度的树分解中以求和着色问题
作者:
Mael Minot
;
Samba Ndojh Ndiaye
;
Christine Solnon
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
7.
htd — A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond
机译:
htd —用于(自定义)树分解及其他的免费开放源代码框架
作者:
Michael Abseher
;
Nysret Musliu
;
Stefan Woltran
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Tree decompositions;
Dynamic programming;
Software library;
8.
The Nemhauser-Trotter Reduction and Lifted Message Passing for the Weighted CSP
机译:
加权CSP的Nemhauser-Trotter减少和提升消息传递
作者:
Hong Xu
;
T.K. Satish Kumar
;
Sven Koenig
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
9.
A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems
机译:
不完全软约束问题的局部搜索方法:满足调度问题的实验结果
作者:
Mirco Gelain
;
Maria Silvia Pini
;
Francesca Rossi
;
Kristen Brent Venable
;
Toby Walsh
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
10.
Preface
机译:
前言
作者:
Michele Lombardi
;
Domenico Salvagnin
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
11.
On The Role of (Machine) Learning in (Mathematical) Optimization
机译:
(机器)学习在(数学)优化中的作用
作者:
Andrea Lodi
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
12.
Relational Quadratic Programming:Exploiting Symmetries for Modelling and Solving Quadratic Programs
机译:
关系二次规划:利用对称性建模和求解二次程序
作者:
Kristian Kersting
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
13.
Efficient Filtering for the Resource-Cost AllDifferent Constraint
机译:
对资源成本所有不同约束的有效过滤
作者:
Sascha Van Cauwelaert
;
Pierre Schaus
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
14.
Mining Time-Constrained Sequential Patterns with Constraint Programming
机译:
用约束编程挖掘时间约束的顺序模式
作者:
John O.R. Aoga
;
Tias Guns
;
Pierre Schaus
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
15.
Auto-tabling for Subproblem Presolving in MiniZinc (Summary)
机译:
在MiniZinc中自动解决子问题的解决方案(摘要)
作者:
Jip J. Dekker
;
Gustav Bjordal
;
Mats Carlsson
;
Pierre Flener
;
Jean-Noel Monette
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
16.
Cumulative Scheduling with Variable Task Profiles and Concave Piecewise Linear Processing Rate Functions (Abstract)
机译:
具有可变任务配置文件和凹面分段线性处理速率函数的累积调度(摘要)
作者:
Margaux Nattaf
;
Christian Artigues
;
Pierre Lopez
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
17.
Sharpening Constraint Programming Approaches for Bit-Vector Theory
机译:
位向量理论的锐化约束规划方法
作者:
Zakaria Chiliani
;
Bruno Marre
;
Prangois Bobot
;
Sebastien Bardin
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
18.
Range-Consistent Forbidden Regions of Allen's Relations
机译:
艾伦关系的范围一致的禁区
作者:
Nicolas Beldiceanu
;
Mats Carlsson
;
Alban Derrien
;
Charles Prudhomme
;
Andreas Schutt
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
19.
MDDs are Efficient Modeling Tools:An Application to Some Statistical Constraints
机译:
MDD是有效的建模工具:对某些统计约束的应用
作者:
Guillaume Perez
;
Jean-Charles Regin$
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
20.
Counting Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems
机译:
计算加权生成树以解决约束最小生成树问题
作者:
Antoine Delaite
;
Gilles Pesant
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
21.
The Weighted Arborescence Constraint
机译:
加权树状约束
作者:
Vinasetan Ratheil Houndji
;
Pierre Schaus
;
Mahouton Norbert Hounkonnou
;
Laurence Wolsey
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
22.
Learning When to Use a Decomposition
机译:
学习何时使用分解
作者:
Markus Kruber
;
Marco E. Liibbecke
;
Axel Parmentier
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Mixed-integer programming;
Branch-and-price;
Column generation;
Automatic Dantzig-Wolfe decomposition;
Supervised learning;
23.
Experiments with Conflict Analysis in Mixed Integer Programming
机译:
混合整数编程中的冲突分析实验
作者:
Jakob Witzig
;
Timo Berthold
;
Stefan Heinz
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
24.
A First Look at Picking Dual Variables for Maximizing Reduced Cost Fixing
机译:
初看选择双重变量以最大程度地减少固定成本
作者:
Omid Sanei Bajgiran
;
Andre A. Cire
;
Louis-Martin Rousseau
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Mixed-integer programming;
Variable fixing methodology;
Reduced-cost based filtering;
25.
Experimental Validation of Volume-Based Comparison for Double-McCormick Relaxations
机译:
基于体积的双McCormick弛豫比较的实验验证
作者:
Emily Speakman
;
Han Yu
;
Jon Lee
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Mccormick inequalities;
Mixed-integer non-linear optimization;
Global optimization;
Trilinear monomials;
Spatial branch-and-bound;
26.
Minimum Makespan Vehicle Routing Problem with Compatibility Constraints
机译:
具有兼容性约束的最小Makespan车辆路径问题
作者:
Miao Yu
;
Viswanath Nagarajan
;
Siqian Slien
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Vehicle routing;
Compatibility constraints;
Branch-cut-and-price;
Approximation algorithm;
27.
Solving the Traveling Salesman Problem with Time Windows Through Dynamically Generated Time-Expanded Networks
机译:
通过动态生成的时间扩展网络解决带时间窗的旅行商问题
作者:
Natashia Boland
;
Mike Hewitt
;
Due Minh Vu
;
Martin Savelsbergh
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Traveling Salesman Problem;
Time Windows;
Time-expanded networks;
Mixed integer programming;
Dynamic discretization discovery;
28.
A Fast Prize-Collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks
机译:
用于生物网络功能分析的快速奖品收集斯坦纳森林算法
作者:
Murodzhon Akhmedov
;
Alexander LeNail
;
Francesco Bertoni
;
Ivo Kwee
;
Ernest Fraenkel
;
Roberto Montemanni
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Prize-collecting Steiner Forest;
Biological networks;
29.
Scenario-Based Learning for Stochastic Combinatorial Optimisation
机译:
基于场景的随机组合优化学习
作者:
David Hemmi
;
Guido Tack
;
Mark Wallace
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
30.
On Finding the Optimal BDD Relaxation
机译:
寻找最佳BDD松弛
作者:
David Bergman
;
Andre Augusto Cire
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
31.
Design and Implementation of Bounded-Length Sequence Variables
机译:
有界序列变量的设计与实现
作者:
Joseph D. Scott
;
Pierre Flener
;
Justin Pearson
;
Christian Schulte
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
32.
In Search of Balance: The Challenge of Generating Balanced Latin Rectangles
机译:
寻找平衡:生成平衡拉丁矩形的挑战
作者:
Mateo Diaz
;
Ronan Le Bras
;
Carla Gomes
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Latin Rectangles;
Experimental design;
Local search;
Constraint satisfaction problem;
Mixed-integer programming;
33.
Debugging Unsatisfiable Constraint Models
机译:
调试无法满足的约束模型
作者:
Kevin Leo
;
Guido Tack
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
34.
Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization
机译:
使用整数优化学习具有灵活约束和目标的决策树
作者:
Sicco Verwer
;
Yingqian Zhang
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
35.
Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery
机译:
约束矩阵分解问题的松弛方法:解决材料发现中的相图问题
作者:
Junwen Bai
;
Johan Bjorck
;
Yexiang Xue
;
Santosh K. Suram
;
John Gregoire
;
Carla Gomes
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
关键词:
Constrained matrix factorization;
Relaxation methods;
Multiplicative updates;
Phase-mapping;
36.
Minimizing Landscape Resistance for Habitat Conservation
机译:
最小化景观栖息地保护
作者:
Diego de Ufia
;
Graeme Gange
;
Peter Schachte
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
37.
A Hybrid Approach for Stator Winding Design Optimization
机译:
定子绕组设计优化的混合方法
作者:
Alessandro Zanarini
;
Jan Poland
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
38.
A Distributed Optimization Method for the Geographically Distributed Data Centres Problem
机译:
地理分布数据中心问题的分布式优化方法
作者:
Mohamed Wahbi
;
Diarmuid Grimes
;
Deepak Mehta
;
Kenneth N. Brown
;
Barry OSullivan
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
39.
Explanation-Based Weighted Degree
机译:
基于解释的加权度
作者:
Emmanuel rlebrard1
;
Mohamed Siala
会议名称:
《International conference on Integration of AI and OR Techniques in Constraint Programming》
|
2017年
上一页
1
下一页
意见反馈
回到顶部
回到首页