@techreport{Barth95,
author = "P. Barth",
institution = "Max-Planck Institut F{\"u}r Informatik",
number = "MPI-I-95-2",
title = "{A} {D}avis-{P}utnam based {E}numeration {A}lgorithm for {L}inear                    {P}seudo-{B}oolean {O}ptimization",
year = "1995",
}