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