[gecode-users] Negative table in Gecode

[Christian Schulte]

Hi Pete,

Yes, I have a brilliant idea: how about you implement a negative table
constraint in Gecode! We would love it.

I think you get the gist: no, there is nothing really...

Cheers
Christian

--
Christian Schulte, KTH, web.it.kth.se/~cschulte/

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Peter Nightingale
Sent: Friday, February 27, 2015 03:11 PM
To: users at gecode.org
Subject: [gecode-users] Negative table in Gecode

Hi,

I hope you're all well, and thoroughly enjoying your IJCAI reviewing!

I'm working on Savile Row's Gecode (flatzinc) output -- I have a type in SR
for negative table constraints (i.e. the tuple set represents the disallowed
tuples). I don't see anything that looks relevant in registry.cpp.
Obviously turning it into a positive table constraint is an exponential
explosion.

I could decompose into one constraint per tuple -- but of course this is
horrible for propagation.

Can you suggest anything better?

Thanks,
Peter

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