首页>外文会议>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）

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年
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年
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年