Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction

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