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:cschu...@kth.se> cschu...@kth.se
Expert Researcher, SICS, <mailto:cschu...@sics.se> cschu...@sics.se
From: users-boun...@gecode.org [mailto:users-boun...@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.pellonp...@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@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
--
---
Gustavo Gutierrez
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
