PBS: A backtrack search pseudoboolean solver and optimizer (2002)

by F A Aloul, A Ramani, I L Markov, K A Sakallah
Venue:In Proc. 5th International Symposium on the Theory and Applications of Satisfiability Testing (SAT