TY  - JOUR
AU  - Dixon, H.
AU  - Ginsberg, M.
PY  - 2002//
TI  - Inference methods for a pseudo-boolean satisfiability solver
SP  - 635
EP  - 640
ID  - Dixon02
ER  -