Skip to content

An Approximation Algorithm for #k-SAT.

Marc Thurley

VenueASTACS
Year2012
ProceedingsSTACS

Browse the full STACS paper archive.