掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On CNF Encodings of Decision Diagrams
机译:
关于决策图的CNF编码
作者:
Ignasi Abio
;
Graeme Gange
;
Valentin Mayer-Eichberger
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
2.
Time-Series Constraints: Improvements and Application in CP and MIP Contexts
机译:
时间序列约束:CP和MIP上下文中的改进和应用
作者:
Ekaterina Arafailova
;
Nicolas Beldiceanu
;
Remi Douence
;
Pierre Flener
;
Maria Andreina Francisco Rodriguez
;
Justin Pearson
;
Helmut Simonis
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
3.
Finding a Collection of MUSes Incrementally
机译:
逐步找到MUS的集合
作者:
Fahiem Bacchus
;
George Katsirelos
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
4.
Decomposition Based on Decision Diagrams
机译:
基于决策图的分解
作者:
David Bergman
;
Andre A. Cire
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
5.
Logic-Based Decomposition Methods for the Travelling Purchaser Problem
机译:
购买者问题的基于逻辑的分解方法
作者:
Kyle E.C. Booth
;
Tony T. Tran
;
J. Christopher Beck
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
6.
Lagrangian Decomposition via Sub-problem Search
机译:
通过子问题搜索进行拉格朗日分解
作者:
Geoffrey Chu
;
Graeme Gange
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
7.
Non-linear Optimization of Business Models in the Electricity Market
机译:
电力市场中业务模型的非线性优化
作者:
Allegra De Filippo
;
Michele Lombardi
;
Michela Milano
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
关键词:
Non-linear optimization;
Demand response;
Tariff optimization;
Business model definition;
Customer behavior modeling;
8.
Weighted Spanning Tree Constraint with Explanations
机译:
带说明的加权生成树约束
作者:
Diego de Una
;
Graeme Gange
;
Peter Schachte
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
9.
Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing
机译:
嵌套基数约束的前向检查过滤:在组织制造的能源成本感知生产计划问题中的应用
作者:
Cyrille Dejemeppe
;
Olivier Devolder
;
Victor Lecomte
;
Pierre Schaus
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
10.
Cyclic Routing of Unmanned Aerial Vehicles
机译:
无人机的循环路径
作者:
Nir Drucker
;
Michal Penn
;
Ofer Strichman
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
11.
Parallelizing Constraint Programming with Learning
机译:
并行约束编程与学习
作者:
Thorsten Ehlers
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
12.
Parallel Composition of Scheduling Solvers
机译:
调度求解器的并行组合
作者:
Daniel Fontaine
;
Laurent Michel
;
Pascal Van Hentenryck
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
13.
Rail Capacity Modelling with Constraint Programming
机译:
约束规划的铁路通行能力建模
作者:
Daniel Harabor
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
14.
Scheduling Home Hospice Care with Logic-Based Benders Decomposition
机译:
通过基于逻辑的Benders分解计划家庭临终关怀护理
作者:
Aliza Heching
;
John N. Hooker
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
关键词:
Home health care problem;
Routing and scheduling;
Logic-based Benders decomposition;
Home hospice care;
15.
A Global Constraint for Mining Sequential Patterns with GAP Constraint
机译:
具有GAP约束的时序模式的全局约束
作者:
Amina Kemmar
;
Samir Loudni
;
Yahia Lebbah
;
Patrice Boizumault
;
Thierry Charnois
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
16.
A Reservoir Balancing Constraint with Applications to Bike-Sharing
机译:
水库平衡约束及其在自行车共享中的应用
作者:
Joris Kinable
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
17.
Optimization Models for a Real-World Snow Plow Routing Problem
机译:
现实世界除雪机选路问题的优化模型
作者:
Joris Kinable
;
Willem-Jan van Hoeve
;
Stephen F. Smith
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
18.
The TaskIntersection Constraint
机译:
TaskIntersection约束
作者:
Gilles Madi Wamba
;
Nicolas Beldiceanu
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
19.
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems
机译:
MiniZinc的随机连续优化后端及其在几何布局问题中的应用
作者:
Thierry Martinez
;
Francois Fages
;
Abder Aggoun
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
20.
Constructions and In-Place Operations for MDDs Based Constraints
机译:
基于MDD的约束的构造和就地操作
作者:
Guillaume Perez
;
Jean-Charles Regin
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
21.
Balancing Nursing Workload by Constraint Programming
机译:
通过约束编程来平衡护理工作量
作者:
Gilles Pesant
会议名称:
《》
|
2016年
22.
Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing
机译:
使用二维飞行器路线设计航天器命令循环
作者:
Eliott Roynette
;
Bertrand Cabon
;
Cedric Pralet
;
Vincent Vidal
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
23.
Constraint Programming Approach for Spatial Packaging Problem
机译:
空间包装问题的约束规划方法
作者:
Abdelilah Sakti
;
Lawrence Zeidner
;
Tarik Hadzic
;
Brian St. Rock
;
Giusi Quartarone
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
关键词:
Constraint programming;
3D Packing Problem;
Spatial Packaging Problem;
Pipe-routing problem;
Taxicab geometry;
24.
Detecting Semantic Groups in MIP Models
机译:
在MIP模型中检测语义组
作者:
Domenico Salvagnin
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
25.
Revisiting Two-Sided Stability Constraints
机译:
再谈两方面的稳定约束
作者:
Mohamed Siala
;
Barry OSullivan
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
26.
Optimal Flood Mitigation over Flood Propagation Approximations
机译:
洪泛传播近似值上的最佳洪灾缓解
作者:
Byron Tasseff
;
Russell Bent
;
Pascal Van Hentenryck
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
关键词:
Flood mitigation;
Nonlinear programming;
Mixed integer programming;
Approximations;
27.
A Bit-Vector Solver with Word-Level Propagation
机译:
具有字级传播的位向量求解器
作者:
Wenxi Wang
;
Harald Sondergaard
;
Peter J. Stuckey
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
28.
A New Solver for the Minimum Weighted Vertex Cover Problem
机译:
最小加权顶点覆盖问题的新求解器
作者:
Hong Xu
;
T.K. Satish Kumar
;
Sven Koenig
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
29.
Optimal Upgrading Schemes for Effective Shortest Paths in Networks
机译:
网络中有效最短路径的最佳升级方案
作者:
Eduardo Alvarez-Miranda
;
Martin Luipersbeck
;
Markus Sinnl
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
30.
Preface
机译:
前言
作者:
Claude-Guy Quimper
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
31.
Breaking Symmetries in Graph Coloring Problems with Degree Matrices: The Ramsey Number R(4, 3, 3) = 30
机译:
具有度矩阵的图着色问题中的打破对称性:Ramsey数R(4,3,3)= 30
作者:
Michael Codish
;
Michael Frank
;
Avraham Itzhakov
;
Alice Miller
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
32.
Multi-language Evaluation of Exact Solvers in Graphical Model Discrete Optimization (Summary)
机译:
图形模型离散优化中精确求解器的多语言评估(摘要)
作者:
Barry Hurley
;
Barry OSullivan
;
David Allouche
;
George Katsirelos
;
Thomas Schiex
;
Matthias Zytnicki
;
Simon de Givry
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
33.
Breaking Symmetries in Graph Search with Canonizing Sets
机译:
使用规范化集打破图形搜索中的对称性
作者:
Avraham Itzhakov
;
Michael Codish
会议名称:
《International conference on Integration of AI and OR Techniques in constraint programming》
|
2016年
意见反馈
回到顶部
回到首页