Verified_SAT_Based_AI_Planning website [NB corrected some \cite commands and deleted some excess files]