@article{HJ90,
author = "P. Hansen and B. Jaumard",
journal = "Computing",
pages = "279-303",
publisher = "Springer-Verlag",
title = "{A}lgorithms for the {M}aximum {S}atisfiability {P}roblem",
volume = "44",
year = "1990",
}