Bockmayr, A., Barth, P., & Kasper, T. (1996). Methods and Tools for Pseudo-Boolean Problems. In B., Steinbach (Ed.), 2. Workshop Boolesche Probleme (pp. 105-109). Freiberg, Sachsen: TU Bergakademie Freiberg, Institut für Informatik.