小卷发
发表于 2025-3-30 09:14:37
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
生来
发表于 2025-3-30 15:45:32
http://reply.papertrans.cn/47/4689/468817/468817_52.png
ferment
发表于 2025-3-30 19:15:54
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.
精确
发表于 2025-3-30 23:16:20
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.
温顺
发表于 2025-3-31 03:03:09
http://reply.papertrans.cn/47/4689/468817/468817_55.png
intention
发表于 2025-3-31 08:38:21
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
发表于 2025-3-31 12:55:46
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.
都相信我的话
发表于 2025-3-31 14:40:50
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
发表于 2025-3-31 18:25:58
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
钉牢
发表于 2025-4-1 00:01:06
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