Hybrid Optimization - Springer Optimization and Its Applications
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer New York

9781441916433, 9781441916440

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hybrid Solving Techniques

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_5 ◽

2010 ◽

pp. 169-190

Author(s):

Tobias Achterberg ◽

Andrea Lodi

Download Full-text

Global Constraints: A Survey

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_3 ◽

2010 ◽

pp. 63-134 ◽

Author(s):

Jean-Charles Régin

Keyword(s):

Global Constraints

Download Full-text

Hybrid Modeling

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_2 ◽

2010 ◽

pp. 11-62 ◽

Author(s):

John N. Hooker

Keyword(s):

Hybrid Modeling

Download Full-text

Decomposition Techniques for Hybrid MILP/CP Models applied to Scheduling and Routing Problems

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_4 ◽

2010 ◽

pp. 135-167

Author(s):

Pedro M. Castro ◽

Ignacio E. Grossmann ◽

Louis-Martin Rousseau

Keyword(s):

Decomposition Techniques ◽

Routing Problems

Download Full-text

Stimuli Generation for Functional Hardware Verification with Constraint Programming

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_16 ◽

2010 ◽

pp. 509-558

Author(s):

Allon Adir ◽

Yehuda Naveh

Keyword(s):

Constraint Programming ◽

Hardware Verification

Download Full-text

Bioinformatics: A Challenge to Constraint Programming

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_14 ◽

2010 ◽

pp. 463-487 ◽

Author(s):

Pedro Barahona ◽

Ludwig Krippahl ◽

Olivier Perriquet

Keyword(s):

Constraint Programming

Download Full-text

Software Tools Supporting Integration

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_12 ◽

2010 ◽

pp. 393-423 ◽

Author(s):

Tallys Yunes

Keyword(s):

Download Full-text

Learning in Search

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_10 ◽

2010 ◽

pp. 337-356

Author(s):

Philippe Refalo

Download Full-text

The Ten Years of CPAIOR: A Success Story

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_1 ◽

2010 ◽

pp. 1-9

Author(s):

Michela Milano ◽

Pascal van Hentenryck

Keyword(s):

Download Full-text

Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology

Hybrid Optimization - Springer Optimization and Its Applications ◽

10.1007/978-1-4419-1644-0_13 ◽

2010 ◽

pp. 425-461 ◽

Author(s):

Fabien Corblin ◽

Lucas Bordeaux ◽

Eric Fanchon ◽

Youssef Hamadi ◽

Laurent Trilling

Keyword(s):

Computational Biology ◽

Download Full-text