R. Niedermeier and P. Rossmanith. Rep. of Germany. R. Niedermeier and P. Rossmanith. Upper bounds for Vertex Cover further improved . Rep. of Germany.
Long version see TR below.
R. Niedermeier and P. Rossmanith. New upper bounds for MaxSat . Long version see TR below. Journal version above. R. Niedermeier and P. Rossmanith.