This project deals with NP class problems. Converting a NP-complete problem into SAT problem, then use efficient SAT solvers to solve that problem. This was a part of Artificial Intelligence Course at IIT Delhi. Instructor - Prof. Mausam
The problem description is mentioned in AI_Assign3_problem_Stmt.pdf.