PBS: A Backtrack-Search Pseudo-Boolean Solver and
                   Optimizer

BibTex:
Research Area:	Uncategorized	Year:	2002
Type of Publication:	In Proceedings
Authors:	Aloul, F. Ramani, A. Markov, I. Sakallah, K.

Book title:	Symposium on the Theory and Applications of Satisfiability Testing (SAT)
Pages:	346-353
Address:	Cincinnati, (OH)



@conference{Aloul02b, author = "F. Aloul and A. Ramani and I. Markov and K. Sakallah", address = "Cincinnati, (OH)", booktitle = "Symposium on the Theory and Applications of Satisfiability Testing (SAT)", pages = "346-353", title = "{PBS}: {A} {B}acktrack-{S}earch {P}seudo-{B}oolean {S}olver and {O}ptimizer", year = "2002", }
[Bibtex] [RIS] [MODS]

COST FUNCTION