Robin A. Moser and Dominik Scheder: A Full Derandomization of Schoening's k-SAT Algorithm (2010)journals/corr/abs-1008-40671008.4067A Full Derandomization of Schoening's k-SAT Algorithm2Robin A. Moser1Dominik Scheder2CoRRCoRRabs/1008.40672010provenance information for RDF data of dblp record 'journals/corr/abs-1008-4067'2018-08-13T16:48:50+0200