Deepakkoli93/graph_map
solving a problem in the NP class using SAT solver
gae based academic web system
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
solving a problem in the NP class using SAT solver
an ai bot to play a game of all connect m n k, which is a generalised version of connect 4
implementation of hill climbing search to solve a integer linear programming type of problem
Decision trees, handwritten digit recognition, Naive Bayes, Expectation Minimization