%0 Journal Article %1 journals/computing/HansenJ90 %A Hansen, Pierre %A Jaumard, Brigitte %D 1990 %J Computing %K dblp %N 4 %P 279-303 %T Algorithms for the maximum satisfiability problem. %U http://dblp.uni-trier.de/db/journals/computing/computing44.html#HansenJ90 %V 44

@article{journals/computing/HansenJ90, added-at = {2020-08-06T00:00:00.000+0200}, author = {Hansen, Pierre and Jaumard, Brigitte}, biburl = {https://www.bibsonomy.org/bibtex/2a638d8830a6d85a521d3ead08cdd7a4c/dblp}, ee = {https://doi.org/10.1007/BF02241270}, interhash = {b2f7f35897ae8dbe1e1141ffcb43fbfd}, intrahash = {a638d8830a6d85a521d3ead08cdd7a4c}, journal = {Computing}, keywords = {dblp}, number = 4, pages = {279-303}, timestamp = {2020-08-07T11:51:54.000+0200}, title = {Algorithms for the maximum satisfiability problem.}, url = {http://dblp.uni-trier.de/db/journals/computing/computing44.html#HansenJ90}, volume = 44, year = 1990 }