Amey Kerkar

crypt arithmatic constraint satisfaction problem a* algorithm artificial intelligence alan turing automata languages and computation automata theory automata theory of computation bfs depth first search technique breadth first search technique uninformed search strategy informed search strategy best first search algorithm dfs hill climbing algorithm best first search breadth first search uninformed search techniques informed search techniques depth first search csp tic-tac-toe problem space state space water jug problem tangled hierarchies frames semantic nets proposition resolution knowledge representation predicate knowledge logic unification