首页>外文会议>International conference on integration of constraint programming, artificial intelligence, and operations research

International conference on integration of constraint programming, artificial intelligence, and operations research

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Combinatorial Optimisation for Multi-agent Path Finding

机译：多代理路径发现的组合优化
- 作者：Peter Stuckey
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
2.Power of Pre-processing: Production Scheduling with Variable Energy Pricing and Power-Saving States

机译：预处理的力量：具有可变能源定价和省电状态的生产调度
- 作者：Ondfej Benedikt;Istvan Modos;Zdenek Hanzalek
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
3.Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search

机译：学习放宽：使用伪布尔冲突驱动的搜索集成0-1整数线性编程
- 作者：Jo Devriendt;Ambros Gleixner;Jakob Nordstrom
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
4.The Potential of Quantum Annealing for Rapid Solution Structure Identification

机译：快速解决方案结构识别量子退火的潜力
- 作者：Yuchen Pang;Carleton Coffrin;Andrey Y. Lokhov;Marc VufFray
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
5.A New Constraint Programming Model and Solving for the Cyclic Hoist Scheduling Problem

机译：一种新的约束规划模型，解决循环提升调度问题
- 作者：Mark Wallace;Neil Yorke-Smith
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
6.The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions

机译：HyperGraph分解的最近进展和未来研究方向的高速公路项目
- 作者：Georg Gottlob;Matthias Lanzinger;Davide Mario Longo;Cem Okulmus;Reinhard Pichler
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
7.Restarting Algorithms: Sometimes There Is Free Lunch

机译：重新启动算法：有时有免费午餐
- 作者：Sebastian Pokutta
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Restarts;
- Convex optimization;
- Discrete optimization;
- Submodular optimization;
8.Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP

机译：从抽象规范中辨别实例：CP和MIP的案例研究
- 作者：OEzguer Akguen;Nguyen Dang;Ian Miguel;Andras Z. Salamon;Patrick Spracklen;Christopher Stone
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Instance generation;
- MIP;
- Constraint Programming;
9.Bilevel Optimization for On-Demand Multimodal Transit Systems

机译：对按需多式联运系统的双纤维优化
- 作者：Beste Basciftci;Pascal Van Hentenryck
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- On-demand transit system;
- Mode choice;
- Bilevel optimization;
- Benders decomposition;
- Combinatorial cuts;
10.Local Search and Constraint Programming for a Real-World Examination Timetabling Problem

机译：本地搜索和约束编程，用于真实世界考试时间表问题
- 作者：Michele Battistutta;Sara Ceschia;Fabio De Cesco;Luca Di Gaspero;Andrea Schaerf;Elena Topan
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Examination timetabling;
- Simulated annealing;
- MiniZinc;
11.Parameterised Bounds on the Sum of Variables in Time-Series Constraints

机译：在时间序列约束中的变量和中的参数化界限
- 作者：Nicolas Beldiceanu;Maria I. Restrepo;Helmut Simonis
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
12.A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs

机译：一种基于学习的算法，可以快速计算随机整数程序的良好原始解决方案
- 作者：Yoshua Bengio;Emma Frejinger;Andrea Lodi;Rahul Patel;Sriram Sankaranarayanan
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Stochastic integer programming;
- Machine learning;
- Heuristic;
13.Integer Programming Techniques for Minor-Embedding in Quantum Annealers

机译：Quantum退化器中的次嵌入的整数编程技术
- 作者：David E. Bernal;Kyle E. C. Booth;Raouf Dridi;Hedayat Alghassi;Sridhar Tayur;Davide Venturelli
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Graph minors;
- Quantum annealers;
- Integer programming;
- Decomposition;
- Algebraic geometry;
14.An Ising Framework for Constrained Clustering on Special Purpose Hardware

机译：特殊用途硬件上受限制聚类的课程框架
- 作者：Eldan Cohen;Arik Senderovich;J. Christopher Beck
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
15.From MINIZINC to Optimization Modulo Theories, and Back

机译：从迷你条件到优化模数理论，并回来
- 作者：Francesco Contaldo;Patrick Trentin;Roberto Sebastiani
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
16.Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems

机译：用于按需多式联运系统的转移扩展图
- 作者：Kevin Dalmeijer;Pascal Van Hentenryck
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Combinatorial optimization;
- Multimodal transportation;
- Benders decomposition;
- Transfer-expanded graphs;
17.Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm

机译：分支算法中变量选择的加固学习
- 作者：Marc Etheve;Zacharie Ales;Come Bissuel;Olivier Juan;Safia Kedad-Sidhoum
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Reinforcement learning;
- Mixed integer linear programming;
- Neural network;
- Branch and bound;
- Branching strategy;
18.Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem

机译：双面编码楼梯上最多的抗浪问题的一个约束
- 作者：Katalin Fazekas;Markus Sinnl;Armin Biere;Sophie Parragh
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
19.Core-Guided and Core-Boosted Search for CP

机译：核心引导和核心提升CP
- 作者：Graeme Gange;Jeremias Berg;Emir Demirovic;Peter J. Stuckey
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
20.Robust Resource Planning for Aircraft Ground Operations

机译：飞机地面运营的强大资源规划
- 作者：Yagmur S. Goek;Daniel Guimarans;Peter J. Stuckey;Maurizio Tomasella;Cemalettin Ozturk
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Optimization;
- Scheduling;
- Routing;
- Aviation;
- Airport operations;
21.Primal Heuristics for Wasserstein Bary centers

机译：Wassersein Bary Centers的原始启发式
- 作者：Pierre-Yves Bouchet;Stefano Gualandi;Louis-Martin Rousseau
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Wasserstein Barycenter;
- Kantorovich-Wasserstein distance;
- Linear programming;
- Constrained optimization;
22.An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering Problem

机译：基数受约束的欧几里德最小平方和聚类问题的精确CP方法
- 作者：Mohammed Najib Haouas;Daniel Aloise;Gilles Pesant
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
23.Minimum Cycle Partition with Length Requirements

机译：具有长度要求的最小循环分区
- 作者：Kai Hoppmann;Gioni Mexi;Oleg Burdakov;Carl Johan Casselgren;Thorsten Koch
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
24.Optimizing Student Course Preferences in School Timetabling

机译：优化学校时间表中的学生课程偏好
- 作者：Richard Hoshino;Irene Fabris
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- School timetabling;
- Post Enrollment Course Timetabling Problem;
- Integer Programming;
- Graph coloring;
- Optimization;
25.Adaptive CP-Based Lagrangian Relaxation for TSP Solving

机译：基于CP的自适应CP拉格朗日放松，用于TSP解决
- 作者：Nicolas Isoart;Jean-Charles Regin
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
26.Minimal Perturbation in University Timetabling with Maximum Satisfiability

机译：最大可靠性的大学时间表中的最小扰动
- 作者：Alexandre Lemos;Pedro T. Monteiro;Ines Lynce
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- MaxSAT;
- University Course Timetabling;
- Minimal perturbation;
27.Leveraging Constraint Scheduling: A Case Study to the Textile Industry

机译：利用约束调度：纺织业的案例研究
- 作者：Alexandre Mercier-Aubin;Jonathan Gaudreault;Claude-Guy Quimper
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Multi-resource;
- Scheduling;
- Constraint programming;
- Traveling salesman problem;
28.Template Matching and Decision Diagrams for Multi-agent Path Finding

机译：多代理路径查找的模板匹配与决策图
- 作者：Jayanth Krishna Mogali;Willem-Jan van Hoeve;Stephen F. Smith
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- MAPF;
- Projection cuts;
- Template polytopes;
- Decision diagrams;
- Lagrangian relax and cut;
- Conflict based search;
29.Hybrid Classification and Reasoning for Image-Based Constraint Solving

机译：基于图像的约束求解的混合分类和推理
- 作者：Maxime Mulamba;Jayanta Mandi;Rocsildes Canoy;Tias Guns
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Constraint reasoning;
- Visual sudoku;
- Joint inference;
- Prediction and optimisation;
30.Multi-speed Gearbox Synthesis Using Global Search and Non-convex Optimization

机译：使用全局搜索和非凸优化的多速变速箱合成
- 作者：Chiara Piacentini;Hyunmin Cheong;Mehran Ebrahimi;Adrian Butscher
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Global search;
- Best-first search;
- Stochastic search;
- Evolutionary algorithms;
- Non-convex optimization;
31.Enumerative Branching with Less Repetition

机译：枚举分支，重复较少
- 作者：Thiago Serra
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Branch-and-Bound;
- Decision Diagrams;
- Depth-First Search;
- Integer Programming;
- Solution Enumeration;
32.Lossless Compression of Deep Neural Networks

机译：深度神经网络的无损压缩
- 作者：Thiago Serra;Abhinav Kumar;Srikumar Ramalingam
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Deep learning;
- Mixed-Integer Linear Programming;
- Neural network pruning;
- Neuron stability;
- Rectified Linear Unit;
33.CP and Hybrid Models for Two-Stage Batching and Scheduling

机译：两阶段批处理和调度的CP和混合模型
- 作者：Tanya Y. Tang;J. Christopher Beck
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
34.Improving a Branch-and-Bound Approach for the Degree-Constrained Minimum Spanning Tree Problem with LKH

机译：提高LKH度量约束最小生成树问题的分支和束缚方法
- 作者：Maximilian Thiessen;Luis Quesada;Kenneth N. Brown
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Degree-constrained minimum spanning tree;
- Branch-and-bound;
- Local search;
- LKH;
35.Insertion Sequence Variables for Hybrid Routing and Scheduling Problems

机译：混合路由和调度问题的插入序列变量
- 作者：Charles Thomas;Roger Kameugne;Pierre Schaus
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
36.Relaxation-Aware Heuristics for Exact Optimization in Graphical Models

机译：放松感知的启发式在图形模型中精确优化
- 作者：Fulya Troesser;Simon de Givry;George Katsirelos
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
37.Exact Method Approaches for the Differential Harvest Problem

机译：差分收获问题的确切方法方法
- 作者：Gabriel Volte;Eric Bourreau;Rodolphe Giroudeau;Olivier Naud
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Column generation;
- Enumeration technique;
- Constraints programming;
- Exact method;
- Precision agriculture;
38.Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization

机译：双臂多功能机器人机器人和工作区布局优化的调度
- 作者：Johan Wessen;Mats Carlsson;Christian Schulte
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
- Assembly manufacturing;
- Constraint programming;
- Robot planning and scheduling;
39.Conflict-Free Learning for Mixed Integer Programming

机译：混合整数规划无冲突学习
- 作者：Jakob Witzig;Timo Berthold
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2020年
40.The Traveling Social Golfer Problem: The Case of the Volleyball Nations League

机译：旅游社会高尔夫球手问题：排球国家联赛的案例
- 作者：Roel Lambers;Laurent Rothuizen;Frits C. R. Spieksma
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Social Golfer problem;
- Volleyball Nations League;
- Integer programming;
41.Towards a Compact SAT-Based Encoding of Itemset Mining Tasks

机译：朝着基于紧凑的SAT的编码，项目集挖掘任务
- 作者：Ikram Nekkache;Said Jabbour;Lakhdar Sais;Nadjet Kamel
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Data mining;
- Itemset mining;
- Satisfiability;
42.Physician Scheduling During a Pandemic

机译：大流行期间的医生调度
- 作者：Tobias Geibinger;Lucas Kletzander;Matthias Krainz;Florian Mischek;Nysret Musliu;Felix Winter
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Physician scheduling;
- COVID-19;
- Constraint programming;
43.Preface

机译：前言
- 作者：Peter J. Stuckey
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
44.Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding

机译：以目标为导向的神经序列解码，重型尾部和随机重启梁搜索
- 作者：Eldan Cohen;J. Christopher Beck
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Beam search;
- Neural sequence models;
- Randomized restarts;
45.Combining Constraint Programming and Temporal Decomposition Approaches - Scheduling of an Industrial Formulation Plant

机译：结合约束规划和时间分解方法 - 工业配方植物的调度
- 作者：Christian Klanke;Dominik R. Bleidorn;Vassilios Yfantis;Sebastian Engell
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Constraint Programming;
- Moving-horizon;
- Decomposition algorithm;
- Batch process scheduling;
46.Complete Symmetry Breaking Constraints for the Class of Uniquely Hamiltonian Graphs

机译：完全对称性破坏唯一汉密尔顿图表的限制
- 作者：Avraham Itzhakov;Michael Codish
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
47.Variable Ordering for Decision Diagrams: A Portfolio Approacho

机译：决策图的可变排序：投资组合方法
- 作者：Anthony Karahalios;Willem-Jan van Hoeve
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
48.A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects

机译：基于自主学习效应的资源约束项目调度约束规划方法的计算研究
- 作者：Alessandro Hill;Jordan Ticktin;Thomas W. M. Vossen
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Resource-constrained project scheduling;
- Autonomous learning;
- Constraint programming;
49.Strengthening of Feasibility Cuts in Logic-Based Benders Decomposition

机译：加强逻辑枝条分解中可行性切割
- 作者：Emil Karlsson;Elina Roennberg
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
50.Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems

机译：学习在当天交付问题的短地平线规划的替代函数
- 作者：Adrian Bracher;Nikolaus Frohner;Guenther R. Raid
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Same-day delivery;
- Dynamic and stochastic vehicle routing;
- Sampling;
- Surrogate function optimization;
- Supervised learning;
51.Logic-Based Benders Decomposition for an Inter-modal Transportation Problem

机译：基于逻辑的弯曲者分解用于模间交通问题
- 作者：Ioannis Avgerinos;Ioannis Mourtos;Georgios Zois
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
52.Learning to Reduce State-Expanded Networks for Multi-activity Shift Scheduling

机译：学习减少用于多活动移位调度的状态扩展网络
- 作者：Till Porrmann;Michael Roemer
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
53.Optimized Item Selection to Boost Exploration for Recommender Systems

机译：优化项目选择，以提高推荐系统的探索
- 作者：Serdar Kadioglu;Bernard Kleynhans;Xin Wang
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Recommender systems;
- Exploration-exploitation;
- Item selection;
- Set covering;
54.Contextual Optimization: Bridging Machine Learning and Operations

机译：上下文优化：桥接机器学习和操作
- 作者：Adam Elmachtoub
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
55.MDDs Boost Equation Solving on Discrete Dynamical Systems

机译：MDDS在离散动力系统上提升方程求解
- 作者：Enrico Formenti;Jean-Charles Regin;Sara Riva
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Multi-valued decision diagrams;
- Discrete dynamical systems;
- Graphs semiring;
56.Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem

机译：在神经网络中注入域知识：受限制问题的受控实验
- 作者：Mattia Silvestri;Michele Lombardi;Michela Milano
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
57.Checking Constraint Satisfaction

机译：检查约束满足
- 作者：Victor Jung;Jean-Charles Regin
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Multi-valued decision diagram;
- Inclusion;
- Constraint learning;
58.SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning

机译：海佩尔：由加固学习引导的约束编程解决者
- 作者：Felix Chalumeau;Ilan Coulon;Quentin Cappart;Louis-Martin Rousseau
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Reinforcement learning;
- Solver design;
- Constraint programming;
59.Supercharging Plant Configurations Using Z3

机译：使用Z3的增压厂配置
- 作者：Nikolaj Bjorner;Maxwell Levatich;Nuno P. Lopes;Andrey Rybalchenko;Chandrasekar Vuppalapati
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
60.Partitioning Students into Cohorts During COVID-19

机译：在Covid-19期间将学生分配到队列中
- 作者：Richard Hoshino;Irene Fabris
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- School timetabling;
- Integer programming;
- Optimization;
61.A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble

机译：神经网络集合优化的两阶段精确算法
- 作者：Keliang Wang;Leonardo Lozano;David Bergman;Carlos Cardonha
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Ensemble learning;
- Two-stage optimization;
- Neural network;
- Surrogate model;
- Embedded predictive models;
62.A Pipe Routing Hybrid Approach Based on A-Star Search and Linear Programming

机译：基于A-Star搜索和线性编程的管道路由混合方法
- 作者：Marvin Stanczak;Cedric Pralet;Vincent Vidal;Vincent Baudoui
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Pipe routing;
- Linear programming;
- Weighted A*;
63.Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors

机译：两个截止日期减少算法，用于在并行处理器上调度相关任务
- 作者：Claire Hanen;Alix Munier Kordon;Theo Pedersen
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Scheduling problem;
- Precedence constraints;
- Energetic reasoning;
- Preemptive relaxation;
64.Short-Term Scheduling of Production Fleets in Underground Mines Using CP-Based LNS

机译：使用基于CP的LNS的地下地雷生产车队短期调度
- 作者：Max Astrand;Mikael Johansson;Hamid Reza Feyzmahdavian
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Scheduling;
- Underground mining;
- Constraint programming;
- Large neighborhood search;
65.Learning to Sparsify Travelling Salesman Problem Instances

机译：学习削弱旅行推销员问题实例
- 作者：James Fitzpatrick;Deepak Ajwani;Paula Carroll
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Travelling Salesman Problem;
- Graph sparsification;
- Machine learning;
- Linear programming;
- Integer programming;
66.Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning

机译：使用决策图和强化学习改善分支和束缚
- 作者：Augustin Parjadis;Quentin Cappart;Louis-Martin Rousseau;David Bergman
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Decision diagrams;
- Branch-and-bound;
- Reinforcement learning;
67.Why You Should Constrain Your Machine Learned Models

机译：为什么你应该约束你的机器学习模型
- 作者：Maya Gupta
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
68.Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

机译：LAZY子句生成求解器的学习变量活动初始化
- 作者：Ronald van Driel;Emir Demirovic;Neil Yorke-Smith
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
69.A*-Based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem

机译：一个*基于汇编的汇编决策图，为最长的常见后续问题
- 作者：Matthias Horn;Guenther R. Raidl
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Longest common subsequence problem;
- Multi-valued decision diagram;
- A* search;
70.Improving the Filtering of Branch-and-Bound MDD Solver

机译：改进分支和结合MDD求解器的滤波
- 作者：Xavier Gillard;Vianney Coppe;Pierre Schaus;Andre Augusto Cire
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
71.On the Usefulness of Linear Modular Arithmetic in Constraint Programming

机译：关于线性模块化算术在约束规划中的有用性
- 作者：Gilles Pesant;Kuldeep S. Meel;Mahshid Mohammadalitajrishi
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
72.Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations

机译：在步骤之间：大M和凸壳配方之间的中间放松
- 作者：Jan Kronqvist;Ruth Misener;Calvin Tsay
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年
- Disjunctive programming;
- Relaxation comparison;
- Formulations;
- Mixed-integer programming;
- Convex MINLP;
73.Finding Subgraphs with Side Constraints

机译：找到具有侧限制的子图
- 作者：OEzguer Akguen;Jessica Enright;Christopher Jefferson;Ciaran McCreesh;Patrick Prosser;Steffen Zschaler
- 会议名称：《International conference on integration of constraint programming, artificial intelligence, and operations research》 | 2021年