Titlebook: Hybrid Optimization; The Ten Years of CPA Pascal van Hentenryck,Michela Milano Book 2011 Springer Science+Business Media, LLC 2011

桌前不可入

書目名稱Hybrid Optimization影響因子(影響力)




書目名稱Hybrid Optimization影響因子(影響力)學科排名




書目名稱Hybrid Optimization網(wǎng)絡公開度




書目名稱Hybrid Optimization網(wǎng)絡公開度學科排名




書目名稱Hybrid Optimization被引頻次




書目名稱Hybrid Optimization被引頻次學科排名




書目名稱Hybrid Optimization年度引用




書目名稱Hybrid Optimization年度引用學科排名




書目名稱Hybrid Optimization讀者反饋




書目名稱Hybrid Optimization讀者反饋學科排名

斥責

MENT

運動性

Project

Learning in Search,rs, on the strategy learning used for automatic search in constraint programming, and on no-good generation in SAT solvers. Several examples are given to illustrate the effectiveness of learning in these areas. Some practical results are also given using the integration of different learning techniques.

Ingrained

What Is Autonomous Search?,tation stages are used to formalize the solver modifications and adaptations. Using these rules, we then sketch out and classify some well known solvers and try to answer the question: “What is Autonomous Search?”

使害羞

Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology,As a case study that illustrates the use of SAT and CP, we consider an application in computational biology: the task to build gene regulatory networks (GRNs). We report on experiments made on this problem with a combined SAT/CP approach.

拋物線

Stimuli Generation for Functional Hardware Verification with Constraint Programming,his field. We then present CSP models of a wide variety of stimuli generation problems, as well as the state of the art techniques used to solve them. We also discuss the current challenges in this area, and the prospects of solving them by advancing constraint programming technology beyond the state of the art.

ANNUL

Decomposition Techniques for Hybrid MILP/CP Models applied to Scheduling and Routing Problems,in terms of a branch and cut framework. We then consider Vehicle Routing and Crew Rostering applications to illustrate how Hybrid Branch-and-Price method can be applied, and we discuss the different models that have been proposed in the literature.

碎片