@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",
}