A Davis-Putnam based Enumeration Algorithm for Linear                    Pseudo-Boolean Optimization

BibTex:
Research Area:	MaxSAT	Year:	1995
Type of Publication:	Technical Report
Authors:	Barth, P.
Institution:	Max-Planck Institut Für Informatik
Number:	MPI-I-95-2
Month:

@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", }
[Bibtex] [RIS] [MODS]

COST FUNCTION