Re: [gecode-users] Weak points in Gecode

2009-02-04 Thread Christian Schulte
ement constraints could be something. Christian -- Christian Schulte, www.it.kth.se/~cschulte/ -Original Message- From: Morten Boysen [mailto:[email protected]] Sent: Wednesday, February 04, 2009 8:03 PM To: Christian Schulte Cc: 'Stefano Gualandi'; [email protected] Subject: Re: [gec

Re: [gecode-users] Weak points in Gecode

2009-02-04 Thread Morten Boysen
> -- > Christian Schulte, www.ict.kth.se/~cschulte/ > > > -Original Message- > From: [email protected] [mailto:[email protected]] On Behalf > Of Stefano Gualandi > Sent: Wednesday, February 04, 2009 5:41 PM > To: Morten Boysen; [email protected] > S

Re: [gecode-users] Weak points in Gecode

2009-02-04 Thread Christian Schulte
[email protected] [mailto:[email protected]] On Behalf Of Stefano Gualandi Sent: Wednesday, February 04, 2009 5:41 PM To: Morten Boysen; [email protected] Subject: Re: [gecode-users] Weak points in Gecode Dear Morten, I am not an expert of BDDs, but maybe the paper below can help you: http

Re: [gecode-users] Weak points in Gecode

2009-02-04 Thread Stefano Gualandi
Dear Morten, I am not an expert of BDDs, but maybe the paper below can help you: http://www.cs.mu.oz.au/~pjs/papers/hawkins05a.pdf The paper is about Reduced Ordered Binary Decision Diagrams (ROBDDs). Likely, you already know the paper... It seems ROBDDs are good for constraints defined over

Re: [gecode-users] Weak points in Gecode

2009-02-04 Thread Christian Schulte
Of Morten Boysen Sent: Tuesday, February 03, 2009 10:14 PM To: [email protected] Subject: [gecode-users] Weak points in Gecode Hi, I have a somewhat odd request: I am looking for problem types that will make Gecode perform poorly. First I will explain what we are trying to do: Me and my thesis

[gecode-users] Weak points in Gecode

2009-02-03 Thread Morten Boysen
Hi, I have a somewhat odd request: I am looking for problem types that will make Gecode perform poorly. First I will explain what we are trying to do: Me and my thesis partner are writing a thesis about configuration, where we are trying to do a hybrid between a configurator based on BDDs and a