Empirical investigations of local search on random KSAT for K = 3,4,5,6... CDInfos0803 Program Kavli Institute for Theoretical Physics China Erik Aurell KTH Royal Institute…
