Incomplete-Sat-Solver Optimized version of the walksat algorithm for the subject of Advanced Programming in Artificial Intelligence that is taken at the University of Lleida. We have achieved the highest score in the exercise. Enric Tobeña, Adrián Sanz