@InProceedings{SchulteTack:TRICS:2010, Author = "Christian Schulte and Guido Tack", Title = "Implementing Efficient Propagation Control", Booktitle = "Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a conference workshop of CP 2010", Year = 2010, Month = sep, Address = "St Andrews, UK", URL = "https://chschulte.github.io/papers/schultetack-trics-2010.html" }