標題: Titlebook: Integration of AI and OR Techniques in Constraint Programming; 11th International C Helmut Simonis Conference proceedings 2014 Springer Int [打印本頁] 作者: Boldfaced 時間: 2025-3-21 16:03
書目名稱Integration of AI and OR Techniques in Constraint Programming影響因子(影響力)
書目名稱Integration of AI and OR Techniques in Constraint Programming影響因子(影響力)學科排名
書目名稱Integration of AI and OR Techniques in Constraint Programming網絡公開度
書目名稱Integration of AI and OR Techniques in Constraint Programming網絡公開度學科排名
書目名稱Integration of AI and OR Techniques in Constraint Programming被引頻次
書目名稱Integration of AI and OR Techniques in Constraint Programming被引頻次學科排名
書目名稱Integration of AI and OR Techniques in Constraint Programming年度引用
書目名稱Integration of AI and OR Techniques in Constraint Programming年度引用學科排名
書目名稱Integration of AI and OR Techniques in Constraint Programming讀者反饋
書目名稱Integration of AI and OR Techniques in Constraint Programming讀者反饋學科排名
作者: Sleep-Paralysis 時間: 2025-3-21 22:07 作者: Injunction 時間: 2025-3-22 03:18 作者: 雜色 時間: 2025-3-22 08:15 作者: 保守黨 時間: 2025-3-22 12:37
Willy Ugarte Rojas,Patrice Boizumault,Samir Loudni,Bruno Crémilleux,Alban Lepailleur quickly the chicken-and-egg dilemma over the interrelationship between wartime and peace-time supply systems which had been holding things up for so long. And he appeared to have succeeded, for planning to supply the forces in the next major war could now be tackled by the new Principal Supply Offi作者: 討人喜歡 時間: 2025-3-22 14:31 作者: 天空 時間: 2025-3-22 18:23
Bruno Belin,Marc Christie,Charlotte Truchet quickly the chicken-and-egg dilemma over the interrelationship between wartime and peace-time supply systems which had been holding things up for so long. And he appeared to have succeeded, for planning to supply the forces in the next major war could now be tackled by the new Principal Supply Offi作者: gain631 時間: 2025-3-23 00:46
Nebras Gharbi,Fred Hemery,Christophe Lecoutre,Olivier Roussel known surviving combat veteran of that war, it is more than ever the realm of the archive to which we must turn in search of witness. Yet even with almost a century passed since the armistice, few events remain so deeply scored into the popular imagination; as one newspaper reflected: ‘the first wo作者: BUOY 時間: 2025-3-23 04:10 作者: 漫步 時間: 2025-3-23 06:50
Jeffrey Larson,Mikael Johansson,Mats Carlsson known surviving combat veteran of that war, it is more than ever the realm of the archive to which we must turn in search of witness. Yet even with almost a century passed since the armistice, few events remain so deeply scored into the popular imagination; as one newspaper reflected: ‘the first wo作者: 貝雷帽 時間: 2025-3-23 10:36
Gleb Belov,Natashia Boland,Martin W. P. Savelsbergh,Peter J. Stuckeye Great War. The exhibition context is of particular importance during the war years, as cinema going throughout this period was far from idyllic; in fact, British cinemas were subject to police scrutiny and were a hub of sexual activity that the government strove to suppress. Many critics have loca作者: 脾氣暴躁的人 時間: 2025-3-23 15:37 作者: 并排上下 時間: 2025-3-23 19:38
Andrea Reale,Paolo Bellavista,Antonio Corradi,Michela Milano influential in the long run.Examines how British liberty an.This volume covers a broad range of everyday private and public, touristic, commercial and fictional encounters between Britons and continental Europeans, in a variety of situations and places: moments that led to a meaningful exchange of 作者: Diskectomy 時間: 2025-3-24 00:39 作者: Congestion 時間: 2025-3-24 05:59
Ciaran McCreesh,Patrick Prosser influential in the long run.Examines how British liberty an.This volume covers a broad range of everyday private and public, touristic, commercial and fictional encounters between Britons and continental Europeans, in a variety of situations and places: moments that led to a meaningful exchange of 作者: 侵害 時間: 2025-3-24 09:24
Jean-Baptiste Mairy,Yves Deville,Christophe Lecoutre influential in the long run.Examines how British liberty an.This volume covers a broad range of everyday private and public, touristic, commercial and fictional encounters between Britons and continental Europeans, in a variety of situations and places: moments that led to a meaningful exchange of 作者: 持續(xù) 時間: 2025-3-24 10:52 作者: 出生 時間: 2025-3-24 16:07 作者: 木訥 時間: 2025-3-24 21:36 作者: pulse-pressure 時間: 2025-3-25 00:48 作者: BOOST 時間: 2025-3-25 03:54 作者: Noctambulant 時間: 2025-3-25 10:14 作者: 山羊 時間: 2025-3-25 14:19
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes,ed in constraint programming (CP) via the combination of the novel . global constraint with the existing . constraint to form the current state-of-the-art approach. In this paper, we present a detailed analysis of the problem and derivation of a number of properties that are exploited in a novel mix作者: Malfunction 時間: 2025-3-25 17:08
Mining (Soft-) Skypatterns Using Dynamic CSP,l with the introduction of softness in the skypattern mining problem. First, we show how softness can provide convenient patterns that would be missed otherwise. Then, thanks to Dynamic CSP, we propose a generic and efficient method to mine skypatterns as well as soft ones. Finally, we show the rele作者: 離開真充足 時間: 2025-3-25 23:25 作者: GENRE 時間: 2025-3-26 00:28
Interactive Design of Sustainable Cities with a Distributed Local Search Solver,s, is modeled as a balanced set of urban shapes (residential, commercial, or industrial units, together with infrastructures, schools, parks) that need to be spatially organized following complex rules. To assist urban planners and decision makers in this largely manual and iterative endeavor, we pr作者: 否認 時間: 2025-3-26 06:03 作者: 只有 時間: 2025-3-26 10:24
The PrePack Optimization Problem,then dispatched. Major retail chains must fulfill requests from hundreds of stores by dispatching items stored in their warehouses. The demand for clothing items may vary to a considerable extent from one store to the next. To take this into account, the warehouse must pack “boxes” containing differ作者: Ascendancy 時間: 2025-3-26 14:58 作者: fiscal 時間: 2025-3-26 19:54 作者: FLUSH 時間: 2025-3-27 00:03 作者: troponins 時間: 2025-3-27 04:35 作者: 清洗 時間: 2025-3-27 05:17
Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!,from a Project Graph by adding precedence constraints so that no resource conflict can arise, for any possible assignment of the activity durations. In this paper, we use a simulation approach to evaluate the expected makespan of a number of POSs, obtained by solving scheduling benchmarks via multip作者: 分散 時間: 2025-3-27 11:59
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Bicliqunduced biclique problem. We introduce a simple and effective symmetry breaking technique. Finally, we discuss one particular class of graphs where the algorithm’s bound is ineffective, and show how to detect this situation and fall back to a simpler but faster algorithm. Computational results on a s作者: 倒轉 時間: 2025-3-27 16:26
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency,ion Problems (CSPs). Developing simple and practical filtering algorithms based on consistencies stronger than GAC is a challenge for the CP community. In this paper, we propose to combine k-Wise Consistency (kWC) with GAC, where kWC states that every tuple in a constraint can be extended to every s作者: 強化 時間: 2025-3-27 18:59
Representative Encodings to Translate Finite CSPs into SAT,tances that should not only be effectively generated, but should also be efficiently processed by SAT solvers. In this paper we investigate hierarchical and hybrid encodings, focussing on two specific encodings: the ., already proposed albeit not thoroughly tested, and a new .. Compared to the . and作者: 并置 時間: 2025-3-27 23:29
SAT and Hybrid Models of the Car Sequencing Problem,e features of these models are crucial to improving the state of the art in this domain. For quickly finding solutions, advanced CP heuristics are important and good propagation (either by a specialized propagator or by a sophisticated SAT encoding that simulates one) is necessary. For proving infea作者: 變色龍 時間: 2025-3-28 05:40 作者: Ascribe 時間: 2025-3-28 07:37 作者: 蛛絲 時間: 2025-3-28 13:36
Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman,istance between two cities is the absolute difference between their abscissae and a partial ordering is given on the set of cities. Such a problem is encountered on linear construction schemes for instance. Using key dominance properties and lower bounds, we design a call-based dynamic program able to solve instances with up to 450 cities.作者: 初學者 時間: 2025-3-28 17:42 作者: FOR 時間: 2025-3-28 19:27
978-3-319-07045-2Springer International Publishing Switzerland 2014作者: 古董 時間: 2025-3-29 01:55 作者: spinal-stenosis 時間: 2025-3-29 05:25
Detecting and Exploiting Permutation Structures in MIPs,rmutation problems from their MIP formulation, and show how we can take advantage of this knowledge to speed up the solution process. Computational results on quadratic assignment and single machine scheduling problems show that the technique, when embedded in a state-of-the-art MIP solver, can indeed improve performance.作者: 交響樂 時間: 2025-3-29 09:55
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes,ange of standard benchmark problems. Further investigation shows that the new MIP formulation improves on the existing formulation primarily by producing a much smaller model and enabling high quality primal solutions to be found very quickly.作者: ALIEN 時間: 2025-3-29 13:39
The PrePack Optimization Problem,ning the number and contents of the box types, as well as the allocation of boxes to stores. This paper introduces the PrePack problem and proposes CP and MIP models and a metaheuristic approach to address it.作者: 跑過 時間: 2025-3-29 16:40
SAT and Hybrid Models of the Car Sequencing Problem,ear time mechanism for explaining failure and pruning the . constraint. In our SAT models, we give powerful encodings for the same constraint. Our research demonstrates the strength and complementarity of SAT and hybrid methods for solving difficult sequencing problems.作者: 代理人 時間: 2025-3-29 20:59
Stable Roommates and Constraint Programming,served that the n-ary constraint model can read in, model and output all matchings for instances with .?=?1,000 in about 2 seconds on current hardware platforms. Enumerating all matchings is a crude solution to the egalitarian SR problem, and the empirical results suggest that although NP-hard, egalitarian SR is practically easy.作者: fabricate 時間: 2025-3-30 00:53 作者: Tdd526 時間: 2025-3-30 07:35 作者: 小卷發(fā) 時間: 2025-3-30 09:14
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 作者: ferment 時間: 2025-3-30 19:15
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
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 作者: intention 時間: 2025-3-31 08:38
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
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
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
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
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作者: Mere僅僅 時間: 2025-4-1 04:43
,A Logic Based Benders’ Approach to the Concrete Delivery Problem,enders’ cuts). The master problem is solved through a Mixed Integer Programming approach, whereas the subproblem is solved via a Constraint Programming model and a dedicated scheduling heuristic. Experiments are conducted on a large number of problem instances, and compared against other exact metho作者: ECG769 時間: 2025-4-1 08:21
Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing,ques can be employed, and quantitatively show how different alternatives offer different trade-offs between problem solution time and stream processing runtime cost through experimental results over realistic testbeds.作者: photopsia 時間: 2025-4-1 13:02 作者: 脫離 時間: 2025-4-1 17:19 作者: 核心 時間: 2025-4-1 21:55 作者: 卷發(fā) 時間: 2025-4-2 02:04
Quoc Trung Bui,Quang Dung Pham,Yves Devillem far more insidious than the chicken-and-egg teaser, for any organisational measures, it was generally assumed, must be imposed equally on all three Defence Departments, and implicit in Evans’s definition was the conviction that a central supply executive would have to be set up in any sizeable (fo
