login about faq
4
4

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

asked Dec 31 '09 at 20:17

ShahinG's gravatar image

ShahinG
614

retagged Feb 13 at 11:11

Thiago%20Serra's gravatar image

Thiago Serra
60228


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

answered Jan 01 '10 at 07:22

Hakan%20Kjellerstrand's gravatar image

Hakan Kjellerstrand
211115

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

(Jan 01 '10 at 09:56) ShahinG
1

Sorry, I forgot to mention that the book is not available directly from the site. It's in the Comet package (download via http://dynadec.com/support/downloads/), the PDF file Comet/doc/./comet-v2.0.pdf.

(Jan 01 '10 at 12:02) Hakan Kjellerstrand

Many thanks!!!!

(Jan 01 '10 at 15:50) ShahinG
2

I totally agree with the answer of Hakan which is very complete. I would also add the Ilog solver user-man to his list. But to me the best way to learn it is still is to read a lot of code/model examples. Hakan is too humble to mention it but he wrote plenty of examples on hist blog. You might also have a look at or-tools (examples in python so quite high level and easy to understand).

(Feb 08 at 08:12) pierre schaus
1

Thanks for you kind words, Pierre. I agree that reading - and playing with - existing models is very helpful in learning CP (and CP systems). Perhaps my "Common CP problems" page can be used for this: http://hakank.org/common_cp_models/ where I have collected models that implement problems with the "same approach" (as possible) in some CP systems. (There are now over 250 different problems implemented in at least 2 CP systems.)

(Feb 09 at 00:06) Hakan Kjellerstrand

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

answered Jan 01 '10 at 18:24

Tallys%20Yunes's gravatar image

Tallys Yunes ♦
1.8k19

Thanks Tallys!!

(Jan 05 '10 at 06:45) ShahinG

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

answered Jan 06 '10 at 05:53

Samik%20R.'s gravatar image

Samik R.
93728

I know that this question is quite old, but it seems worth to mention John Hooker's book "Integrated Methods for Optimization", which has recently been updated to its second edition. It does not concern solely with CP, but strive to integrate MIP and CP methods to solve a larger extent of optimization problems.

link

answered Feb 08 at 05:58

Thiago%20Serra's gravatar image

Thiago Serra
60228

Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here

By RSS:

Answers

Answers and Comments

Markdown Basics

  • *italic* or __italic__
  • **bold** or __bold__
  • link:[text](http://url.com/ "title")
  • image?![alt text](/path/img.jpg "title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Tags:

×55
×18
×16

Asked: Dec 31 '09 at 20:17

Seen: 1,462 times

Last updated: Feb 13 at 11:11

OR-Exchange! Your site for questions, answers, and announcements about operations research.