CSE4007 Artificial Intelligence, Fall 2019, Hanyang University. Solving N-Queens Problem Assignment1: DFS, BFS, DFID Assignment2: Local Search: Hill Climbing Assignment3: Genetic Algorithm Assignment4: Propositional logic: SAT Solver