PBS: A backtrack search pseudo Boolean solver (2002)

by F Aloul, A Ramani, I Markov, K Sakallah
Venue:In Symposium on the theory and applications os satis testing (SAT