@InProceedings{SchulteTack:TRICS:2010,
   Author =    "Christian Schulte and Guido Tack",
   Title =     "Implementing Efficient Propagation Control",
   Booktitle = "TRICS 2010, Third workshop on techniques for implementing constraint programming systems",
   Year =      2010,
   URL =       "http://www.gecode.org/paper.html?id=SchulteTack:TRICS:2010"
}