%0 Journal Article
%T Approximating Succinct MaxSat
%A Schallhart, Christian
%A Trevisan, Luca
%J Journal of Logic and Computation
%V 15
%N 4
%P 551-557
%@ 0955-792X
%D 2005-08-01
%I Oxford University Press
%~ DeepDyve