Integration of AI and OR techniques in constraint programming: 14th international conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017: proceedings 9783319597751, 3319597752

340 48 6MB

English Pages XXIII, 420 Seiten : Diagramme Year 2017

Integration of AI and OR techniques in constraint programming: 14th international conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017: proceedings
9783319597751, 3319597752

Author / Uploaded
Domenico Salvagnin
Michele Lombardi

Table of contents :
Sharpening Constraint Programming approaches for Bit-Vector Theory.- Range-Consistent Forbidden Regions of Allen's Relations.- MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints.- On Finding the Optimal Relaxed Decision Diagram.- Design and Implementation of Bounded-Length Sequence Variables.- In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.- Debugging Unsatisfiable Constraint Models.- Learning Decision Trees with Exible Constraints and Objectives Using Integer Optimization.- Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery.- Minimizing Landscape Resistance for Habitat Conservation.- A Hybrid Approach for Stator Winding Design Optimization.- A Distributed Optimal Method for the Geographically Distributed Data Centres Problem.- Explanation-Based-Weighted Degree.- Counting-Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems.- The Weighted Arborescence Constraint.- Learning When to Use a Decomposition.- Experiments with Conict Analysis in Mixed Integer Programming.- A First Look at Picking Dual Variables for Maximizing Reduced-cost Based fixing.- Experimental Validation of Volume-based Comparison for Double-McCormick Relaxations.- Vehicle Routing Problem with Min-max Objective and Heterogeneous Fleet.- Solving the Traveling Salesman Problem with Time Windows with Dynamic Discretization Discovery.- A Fast Prize-collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks.- Scenario Based Learning for Stochastic Combinatorial Optimization.- Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands.- Stochastic Task Networks: Trading Performance for Stability.- Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables.- A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem.- Combining CP and ILP in a Tree Decomposition of Bounded Height to Solve the Sum Coloring Problem.- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond.- The Nemhauser-Trotter Reduction and Lifted Message Passing for Weighted CSPs.- A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems.

Polecaj historie

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 20th International Conference, CPAIOR 2023 Nice, France, May 29 – June 1, 2023 Proceedings 3031332709, 9783031332708

This book constitutes the proceedings of the 20th International Conference on the Integration of Constraint Programming,

243 63 34MB Read more

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings [1st ed.] 9783030589417, 9783030589424

The volume LNCS 12296 constitutes the papers of the 17th International Conference on the Integration of Constraint Progr

853 90 22MB Read more

Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings 978-3-319-61660-5, 3319616609, 978-3-319-61659-9

This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotoni

562 70 11MB Read more

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings [1st ed.] 978-3-030-19211-2;978-3-030-19212-9

This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Art

880 56 22MB Read more

Cooperative design, visualization, and engineering : 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings 978-3-319-66805-5, 3319668056, 978-3-319-66804-8

This book constitutes the refereed proceedings of the 14th International Conference on Cooperative Design, Visualization

831 58 27MB Read more

Quantitative evaluation of systems : 14th international conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings 978-3-319-66334-0, 3319663348, 978-3-319-66335-7

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017

451 105 15MB Read more

June 2017 The Scientist

388 78 14MB Read more

Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings 978-3-319-66197-1, 3319661973, 978-3-319-66196-4

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal M

979 31 21MB Read more

Computer safety, reliability, and security : 36th international conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings 978-3-319-66265-7, 3319662651, 978-3-319-66266-4

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and

654 78 36MB Read more

Modeling Decisions for Artificial Intelligence 14th International Conference, Mdai 2017, Kitakyushu, Japan, October 18-20, 2017, Proceedings 978-3-319-67422-3, 3319674226, 978-3-319-67421-6

This book constitutes the proceedings of the 14th International Conference on Modeling Decisions for Artificial Intellig

654 82 11MB Read more