[gecode-users] propagation Algorithm

[Christian Schulte]

No, it has nothing to do with AC3. Check the following papers:

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

and

 
http://www.gecode.org/~schulte/paper.html?id=LagerkvistSchulte:CP:2007

They describe the algorithm used.

 

Best

Christian

 

--

Christian Schulte, www.gecode.org/~schulte

Professor of Computer Science, KTH, cschulte at kth.se

Expert Researcher, SICS, cschulte at sics.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of mehdi m
Sent: Thursday, March 10, 2016 04:57 PM
To: users at gecode.org
Subject: [gecode-users] propagation Algorithm

 

Hi everyone,

 

i'am wondering, about the propagation algorithm that Gecode is using, i
think is AC3. but i'm not sure and didn't find clarification on mpg.

 

Can you confirm for AC3 ? or another algorithm.

 

Best

------

Maamar Mehdi

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20160310/40842670/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4623 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20160310/40842670/attachment.bin>