Pbs: a backtrack search pseudo-boolean solver (0)

by F Aloul, A Ramani, I L Markov, K A Sakallah
Venue:In 5th International Symposium on the Theory and Applications of Satisafiability Testing. 2002. Available: http://www.aloul.net/Papers/faloul sat02