Pràctica 1: SAT solver

Modifica el SAT solver SAT-alumnes.cpp per a tractar de la manera més eficient que puguis els exemples de random3SAT.tar.gz. Teniu una presentació descrivint l’algorisme aquí. Per a aconseguir això, millora l’heurística de decisió i la velocitat de propagació. Adjuntem un script que compara l’eficiència del teu solver amb un altre, kissat, executant tots dos en la mateixa màquina. Sobre els problemes insatisfactibles de 300 variables, kissat mai hauria de ser més de 20 vegades més ràpid que el teu solver, i és perfectament possible aconseguir ràtios de 10 vegades, 5 vegades, o fins i tot millors (fes make usant el Makefile per a compilar).

Has de lliurar dos arxius: SAT-alumnes.cpp i temps.txt, la sortida que genera l’script.