Skip to content

A full derandomization of schning's k-SAT algorithm.

Robin A. Moser, Dominik Scheder

VenueA*STOC
Year2011
ProceedingsSTOC

Browse the full STOC paper archive.