.se
From: Drescher, Conrad [mailto:conrad.dresc...@sap.com]
Sent: Monday, March 13, 2017 13:14
To: cschu...@kth.se; users@gecode.org
Subject: RE: [gecode-users] Question on IntVar-equalities with and without
MiniModel
Hi Christian,
thanks a lot, that looks very good! For us, I dont se
ontag, 13. März 2017 09:41
To: Drescher, Conrad <conrad.dresc...@sap.com<mailto:conrad.dresc...@sap.com>>;
users@gecode.org<mailto:users@gecode.org>
Subject: RE: [gecode-users] Question on IntVar-equalities with and without
MiniModel
Hmmm, not that straightforward. There are two
E SICS, <mailto:christian.schu...@ri.se>
christian.schu...@ri.se
From: Drescher, Conrad [mailto:conrad.dresc...@sap.com]
Sent: Monday, March 13, 2017 10:22
To: users@gecode.org
Cc: cschu...@kth.se
Subject: RE: [gecode-users] Question on IntVar-equalities with and without
MiniModel
Hi Christian,
I
prohibited. Please inform us immediately and destroy the original transmittal.
Thank you for your cooperation.
From: Christian Schulte [mailto:cschu...@kth.se]
Sent: Montag, 13. März 2017 09:41
To: Drescher, Conrad <conrad.dresc...@sap.com>; users@gecode.org
Subject: RE: [gecode-users]
Hmmm, not that straightforward. There are two ideas here:
- One idea would be that there is an additional IPL (integer
propagation level) called something like IPL_CHEAP_DOM which does domain
propagation only if it is cheap.
- The other idea would be that linear interprets the