Titlebook: Integration of AI and OR Techniques in Constraint Programming; 11th International C Helmut Simonis Conference proceedings 2014 Springer Int

小卷發(fā)

Conference proceedings 2014Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The 33 papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers focus on constraint programming and global constraints; scheduling modelling; encodings and SAT logistics

生來

ferment

Local Search for a Cargo Assembly Planning Problem,nimize the average delay time of the vessels over a long planning period. We model the problem in the MiniZinc constraint programming language and design a large neighbourhood search scheme. We compare against (an extended version of) a greedy heuristic for the same problem.

精確

Conference proceedings 2014and selected from 70 submissions. The papers focus on constraint programming and global constraints; scheduling modelling; encodings and SAT logistics; MIP; CSP and complexity; parallelism and search; and data mining and machine learning.

溫順

intention

Sliced Table Constraints: Combining Compression and Tabular Reduction,combining both static and dynamic reduction techniques by proposing a new compressed form of table constraints based on frequent pattern detection, and exploiting it in STR (Simple Tabular Reduction).

MURAL

An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Rounifying implied and symmetry-breaking constraints that reduce the computational complexity significantly. The experimental evaluation of the integrated approach takes considerably less computational effort than the previous approach.

都相信我的話

0302-9743 arch (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The 33 papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers focus on constraint programming and global constraints; scheduling modelling; encodings and SAT

Euthyroid

Modelling with Option Types in MiniZinc, we have added option types to the constraint modelling language .. Constraints over variables of option types can either be handled by transformation into regular variables without extending the requirements on underlying solvers, or they can be passed directly to solvers that support them natively

釘牢

Interactive Design of Sustainable Cities with a Distributed Local Search Solver,om a random initial assignment. We extend the algorithm with novel heuristics to improve computational costs and propose an efficient distributed version. The same algorithm is used for the automated and interactive stages of the design process. The benefits of our approach are highlighted by exampl