k-sat

There are 0 repository under k-sat topic.

starkblaze01 / Artificial-Intelligence-Codes
Collection of Artificial Intelligence Algorithms implemented on various problems
artificial-intelligence-algorithms decision-tree-classifier adaptive-smoothing hidden-markov-model hopfield-network jealous-husband k-sat k-means-clustering gaussian-mixture-models menace reinforcement-learning travelling-salesman-problem genetic-algorithm epsilon-greedy hierarchical-clustering confidence-intervals
Language:Jupyter Notebook 39
computational-problem-solving / sat
:satisfied: Boolean formula satisfiability algorithms for JavaScript
np-complete k-sat algorithms agpl javascript computer-science sat-solver reductions sat0w
Language:JavaScript 6
mandy1612 / puzzles-in-AI
puzzles in AI is a collection of intelligent agents written in Python to solve different arcade games. This project was created for the purposes of experimenting with the implementation of game playing and puzzle solving using AI techniques.
8-puzzle-solver artificial-intelligence astar-search-algorithm k-sat peg-solitaire searching-algorithms
Language:Jupyter Notebook 1
rishitsaiya / CS312-AI-Lab
Artificial Intelligence Lab Course (CS 312), IIT Dharwad
tsp bfs dfs reinforcement-learning hill-climbing alpha-beta-pruning tabu-search svm grid-world k-sat
Language:C 1
Starks-AI / Artificial-Intelligence-Assignment
Contains the assignment 1,2,3 and 4
ai artificial-intelligence iterative-deepening-search bfs k-sat 3-sat marble-solitaire a-star tsp simulated-annealing x-o-game naughts-crosses minimax alpha-beta-pruning iddfs-algorithm
Language:Python 1
brandimarte / satisfyme
A k-satisfiability solver based on Knuth dancing-links X algorithm.
conjunctive-normal-form dancing-links generalized-cover-problem k-cnf k-sat np-complete satisfiability-problem
Language:C 0
empobla / PProblemSolver
A CLI program that verifies input solutions for input K-SAT problems.
k-sat p-problem
Language:Python 0