Stock photo: cover may vary
Logic-Based Methods for Optimization Combining Optimization and Constraint Satisfaction Hardback - 2000 - 1st Edition
by John Hooker
- New
A$354.44
A$5.66
Delivery within USA
Standard delivery: 2 to 14 days
More delivery options
Standard delivery: 2 to 14 days
Ships from GreatBookPrices (Maryland, United States)
Details
- Title Logic-Based Methods for Optimization Combining Optimization and Constraint Satisfaction
- Author John Hooker
- Binding Hardback
- Edition number 1st
- Edition 1
- Condition New
- Pages 520
- Volumes 1
- Language ENG
- Publisher Wiley-Interscience
- Publication date 2000-05-30
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- Bookseller's Inventory # 32826-n
- ISBN 9780471385219 / 0471385212
- Weight 1.83 lbs (0.83 kg)
- Dimensions 9.6 x 5.92 x 1.19 in (24.38 x 15.04 x 3.02 cm)
- Category Mathematics
- Library of Congress subjects Mathematical optimization, Logic, Symbolic and mathematical
- Library of Congress Catalogue Number 99088732
- Dewey Decimal Code 519.72
- Quantity available 5
About GreatBookPrices Maryland, United States
Biblio member since 2024
Since 1991, we have worked every day to serve our customers with state-of-the-art technology and world class service. We are dedicated to providing customers around the world with the widest selection of books, DVDs, and CDs at the absolute lowest price.
Reader reviews for Logic-Based Methods for Optimization Combining Optimization and Constraint Satisfaction
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
First line
Logical inference is inseparable from optimization.
From the rear cover
A pioneering look at the fundamental role of logic in optimization and constraint satisfaction While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fields. Logic-Based Methods for Optimization develops for the first time a comprehensive conceptual framework for integrating optimization and constraint satisfaction, then goes a step further and shows how extending logical inference to optimization allows for more powerful as well as flexible modeling and solution techniques. Designed to be easily accessible to industry professionals and academics in both operations research and artificial intelligence, the book provides a wealth of examples as well as elegant techniques and modeling frameworks ready for implementation. Timely, original, and thought-provoking, Logic-Based Methods for Optimization:
* Demonstrates the advantages of combining the techniques in problem solving
* Offers tutorials in constraint satisfaction/constraint programming and logical inference
* Clearly explains such concepts as relaxation, cutting planes, nonserial dynamic programming, and Bender's decomposition
* Reviews the necessary technologies for software developers seeking to combine the two techniques
* Features extensive references to important computational studies
* And much more
* Demonstrates the advantages of combining the techniques in problem solving
* Offers tutorials in constraint satisfaction/constraint programming and logical inference
* Clearly explains such concepts as relaxation, cutting planes, nonserial dynamic programming, and Bender's decomposition
* Reviews the necessary technologies for software developers seeking to combine the two techniques
* Features extensive references to important computational studies
* And much more
Media reviews
Citations
- Choice, 03/01/2001, Page 1304
- Scitech Book News, 12/01/2000, Page 125
