/K-SAT

A research project comparing WalkSat and Moser's Algorithms' performance on solving random K-SAT

Primary LanguageC++

K-SAT

  • Project includes random K-CNF generator and GSAT algorithm.
  • Investigation on density threshold of a 3-CNF to have a solution.
  • Found the density threshold between 4.25 and 4.27 by variable-controlling method.