walksat

WalkSAT Il problema SAT (dall'inglese Boolean SATisfiability Problem) è un problema di logica booleana molto famoso in informatica perché è stato il primo problema dimostrato NP-Completo. Questo significa che non conosciamo algoritmi deterministici efficienti sempre corretti per risolvere...