Logic-Based Methods for Optimization

Beschreibung

A pioneering look at the fundamental role of logic in optimizationand constraint satisfaction While recent efforts to combine optimization and constraintsatisfaction have received considerable attention, little has beensaid about using logic in optimization as the key to unifying thetwo fields. Logic-Based Methods for Optimization develops for thefirst time a comprehensive conceptual framework for integratingoptimization and constraint satisfaction, then goes a step furtherand shows how extending logical inference to optimization allowsfor more powerful as well as flexible modeling and solutiontechniques. Designed to be easily accessible to industryprofessionals and academics in both operations research andartificial intelligence, the book provides a wealth of examples aswell as elegant techniques and modeling frameworks ready forimplementation. Timely, original, and thought-provoking,Logic-Based Methods for Optimization: * Demonstrates the advantages of combining the techniques inproblem solving * Offers tutorials in constraint satisfaction/constraintprogramming and logical inference * Clearly explains such concepts as relaxation, cutting planes,nonserial dynamic programming, and Bender's decomposition * Reviews the necessary technologies for software developersseeking to combine the two techniques * Features extensive references to important computationalstudies * And much more

Autor*in

John Hooker

Themen in »Logic-Based Methods for Optimization«

Constraint-logische Programmierung Discrete Mathematics Diskrete Mathematik Mathematics Mathematik Optimierung Optimization

Stimmen zu »Logic-Based Methods for Optimization«

"This is a book that should be widely read by graduate students andresearchers in both the computer science and optimizationcommunities." (Choice, Vol. 38, No. 7, March 2001) "Goal is to broaden the conceptual foundations of optimization toinclude logical and constraint based approaches to traditionaloptimization methods." (American Mathematical Monthly, November2001) "The author combines a low-key, often conversational presentationwith enthusiasm for a synthesis with traditional optimizationmethods..." (SIAM Review, Vol. 43, No. 4) "The book is for practitioners as well as theorists" (ZentralblattMath, Vol.974, No.24, 2001)
()

Details

Link teilen