Bockmayr, A., & Kasper, T. (1996). Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study. In U., Geske, & H., Simonis (Eds.), Deklarative Constraint Programmierung (pp. 29-41). Sankt Augustin, Germany: GMD.