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, [email protected] Expert Researcher, SICS, [email protected] From: [email protected] [mailto:[email protected]] On Behalf Of mehdi m Sent: Thursday, March 10, 2016 04:57 PM To: [email protected] 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
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
