Welcome to the OR-Exchange, your site for questions and answers in operations research.

vote up 2 vote down
star

Hi everybody,

Does anyone know a good reference or tutorial in the spirit of the book "Model building in mathematical programming" for Constraint Programming techniques for solving MIPs?

Thanks in advance Regards, Shahin

flag

3 Answers

vote up 4 vote down

I'm also looking for a good modeling books in constraint programming, but have found none as good as Williams'. However, here are some introductions to constraint programming with discussions of modeling issues.

  • Christian Schulte, Gert Smolka "Finite Domain Constraint Programming in Oz. A Tutorial." For Mozart/Oz.
  • Pascal Van Hentenryck "The OPL Optimization Programming Language", (ISBN 978-0262720304, out of print). Documents the OPL language.
  • Dynadec: "Comet Tutorial" (download from Dynadec). Comet is a system designed by Pascal Van Hentenryck and Laurent Michel. The tutorial is of the same vein as the OPL book, and documents, with examples, Comet's three different solvers: MIP, constraint programming, and local search-
  • Helmut Simonis has written a couple of very nice modeling papers. See his site: http://4c.ucc.ie/~hsimonis/
  • Barbara Smith has also written very good papers, http://www.comp.leeds.ac.uk/bms/papers.html
link|flag
Hi Hakan Thank you very much for such a nice collection. I tried to check the Dynadec but except 3 white papers I did not find any "Comet Tutorial". Do you know where is that located. I am more curious as you mentioned that it sounds like the OPL book. many thanks – ShahinG Jan 1 at 9:56
Sorry, I forgot to mention that the book is not available directly from the site. It's in the Comet package (download via dynadec.com/support/downloads), the PDF file Comet/doc/./comet-v2.0.pdf. – Hakan Kjellerstrand Jan 1 at 12:02
Many thanks!!!! – ShahinG Jan 1 at 15:50
vote up 2 vote down

I also like the book "Programming with Constraints" by Kim Marriott and Peter Stuckey. It includes some modeling tips and guidelines. Here's the web site: http://ww2.cs.mu.oz.au/~pjs/book/book.html

link|flag
Thanks Tallys!! – ShahinG Jan 5 at 6:45
vote up 2 vote down

There is an introductory paper available at the Interfaces, titled "Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming". A PDF link is here. May not be exactly what you are looking for, but I found the article very nice to start CP with.

link|flag

Your Answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.