PBS: A backtrack search pseudo Boolean solver (2002)

by Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Venue:In Symposium on the theory and applications of satisfiability testing (SAT