Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hybrid Optimization: The Ten Years of CPAIOR > Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology
Hybrid Optimization: The Ten Years of CPAIOR |
Pascal van Hentenryck; Michela Milano
Springer New York
Hybrid Optimization: The Ten Years of CPAIOR
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology
Authors

Fabien Corblin; Lucas Bordeaux; Eric Fanchon; Youssef Hamadi; Laurent Trilling

ARI Id

1665040692271_4580601

Access

Not Available Free

Pages

425-461

DOI

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

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4419-1644-0_13

Table of Contents of Book
Showing 1 to 17 of 17 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xi
The Ten Years of CPAIOR: A Success Story
Michela Milano; Pascal van Hentenryck
1-9
Hybrid Modeling
John N. Hooker
11-62
Global Constraints: A Survey
Jean-Charles Régin
63-134
Decomposition Techniques for Hybrid MILP/CP Models applied to Scheduling and Routing Problems
Pedro M. Castro; Ignacio E. Grossmann; Louis-Martin Rousseau
135-167
Hybrid Solving Techniques
Tobias Achterberg; Andrea Lodi
169-190
Over-Constrained Problems
Willem-Jan van Hoeve
191-225
A Survey on CP-AI-OR Hybrids for Decision Making Under Uncertainty
Brahim Hnich; Roberto Rossi; S. Armagan Tarim; Steven Prestwich
227-270
Constraint Programming and Local Search Hybrids
Paul Shaw
271-303
Hybrid Metaheuristics
Christian Blum; Jakob Puchinger; Günther Raidl; Andrea Roli
305-335
Learning in Search
Philippe Refalo
337-356
What Is Autonomous Search?
Youssef Hamadi; Eric Monfroy; Frédéric Saubion
357-391
Software Tools Supporting Integration
Tallys Yunes
393-423
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology
Fabien Corblin; Lucas Bordeaux; Eric Fanchon; Youssef Hamadi; Laurent Trilling
425-461
Bioinformatics: A Challenge to Constraint Programming
Pedro Barahona; Ludwig Krippahl; Olivier Perriquet
463-487
Sports Scheduling
Michael A. Trick
489-508
Stimuli Generation for Functional Hardware Verification with Constraint Programming
Allon Adir; Yehuda Naveh
509-558
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 17 of 17 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings