TY  - JOUR
AU  - Aloul, F.
AU  - Ramani, A.
AU  - Markov, I.
AU  - Sakallah, K.
PY  - 2002//
TI  - PBS: A Backtrack-Search Pseudo-Boolean Solver and Optimizer
SP  - 346
EP  - 353
CY  - Cincinnati, (OH)
ID  - Aloul02b
ER  -