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网络公开度




书目名称Hybrid Optimization网络公开度学科排名




书目名称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.

碎片