[gecode-users] (no subject)

[Christian Schulte]

Hi Tuomas,

 

Sorry for the delay, I was afk.

 

There is not much needed to get started with Constraint Programming, a CS degree is by far enough (I have educated quite a number of people in CP with less background knowledge than that). You can either follow the first two chapters in “Modeling and Programming with Gecode” or you could consider starting CP with a modeling language such as MiniZinc:

                http://www.minizinc.org/

 

If you want to know about the foundations of Gecode you can check:

                http://www.csse.monash.edu/~guidot/dissertation.php

and

                http://www.gecode.org/~schulte/paper.html?id=SchulteStuckey:TOPLAS:2008

and also other papers here:

                http://www.gecode.org/publications.html

 

Cheers

Christian

 

--

Christian Schulte, www.gecode.org/~schulte

Professor of Computer Science, KTH,  <mailto:cschulte at kth.se> cschulte at kth.se

Expert Researcher, SICS,  <mailto:cschulte at sics.se> cschulte at sics.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Gustavo Gutierrez
Sent: Friday, February 13, 2015 3:24 PM
To: Tuomas Pellonperä
Cc: gecode list
Subject: Re: [gecode-users] (no subject)

 

Hi Tuomas,

I would say that in practice what you need is in the gecode documentation or reachable from there. However, if you are interested in the mathematical foundations of constraint programming (not only gecode) you can start by the book of Apt titled Principles of Constraint Programming (http://homepages.cwi.nl/~apt/books.html). Another one is the Handbook of Constraint Programming which is a very good reference.

As you are asking for theoretical foundations I suggest you to have a look at those books which are not gecode specific. However their contents will get you in the right direction. If you are looking for seminal works I would suggest you to look at http://scholar.google.com/citations?user=yT1DBNsAAAAJ <http://scholar.google.com/citations?user=yT1DBNsAAAAJ&hl=en&oi=sra> &hl=en&oi=sra
 

Again, none of them are directly related to gecode but describe its formal foundations.

Cheers,

Gustavo

 

On Fri, Feb 13, 2015 at 2:40 AM, Tuomas Pellonperä <tuomas.pellonpera at gmail.com> wrote:

Hello!

What kind of a theoretical foundation -- mathematics, and computer
science -- is required for developing and using Gecode productively?

(My background: I graduated last summer; I majored in computer science
(algorithms), and the subject of my master's thesis was Ant colony
optimization and vehicle routing problem. Even though I didn't cover
it in my thesis, I came accross constraint programming and soon after
that Gecode came on my radar. I feel there are gaps in my mathematical
basis; hence the question.)

Thank you for your time.

Regards,
Tuomas Pellonpera

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users




-- 

---

Gustavo Gutierrez

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20150217/863cf22d/attachment.html>