TY  - JOUR
AU  - Hansen, P.
AU  - Jaumard, B.
PY  - 1990//
TI  - Algorithms for the Maximum Satisfiability Problem
JO  - Computing
SP  - 279
EP  - 303
VL  - 44
PB  - Springer-Verlag
ID  - HJ90
ER  -