Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Kasper, Thomas Programming Logics, MPI for Informatics, Max Planck Society;
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.