TY  - RPRT
AU  - Barth, P.
PY  - 1995//
TI  - A Davis-Putnam based Enumeration Algorithm for Linear Pseudo-Boolean Optimization
IS  - MPI-I-95-2
PB  - Max-Planck Institut Für Informatik
ID  - Barth95
ER  -