computational-problem-solving/sat

:satisfied: Boolean formula satisfiability algorithms for JavaScript

Language: JavaScript - Size: 2.97 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 6 - Forks: 0

miltiadiss/CEID_NE5017-Probabilistic-Techniques-and-Randomized-Algorithms

Language: TeX - Size: 410 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

starkblaze01/Artificial-Intelligence-Codes

Collection of Artificial Intelligence Algorithms implemented on various problems

Language: Jupyter Notebook - Size: 5.88 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 41 - Forks: 9

rishitsaiya/CS312-AI-Lab

Artificial Intelligence Lab Course (CS 312), IIT Dharwad

Language: C - Size: 59.4 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 4

empobla/PProblemSolver

A CLI program that verifies input solutions for input K-SAT problems.

Language: Python - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Starks-AI/Artificial-Intelligence-Assignment

Contains the assignment 1,2,3 and 4

Language: Python - Size: 1.8 MB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 3

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.

Language: Jupyter Notebook - Size: 27.3 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

brandimarte/satisfyme

A k-satisfiability solver based on Knuth dancing-links X algorithm.

Language: C - Size: 2.27 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0