k-sat
Here are 7 public repositories matching this topic...
Language:All
Collection of Artificial Intelligence Algorithms implemented on various problems
- Updated
Oct 23, 2020 - Jupyter Notebook
😆 Boolean formula satisfiability algorithms for JavaScript
- Updated
Mar 13, 2025 - JavaScript
Artificial Intelligence Lab Course (CS 312), IIT Dharwad
- Updated
Oct 14, 2022 - C
Contains the assignment 1,2,3 and 4
- Updated
Jun 13, 2021 - Python
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.
- Updated
Mar 14, 2021 - Jupyter Notebook
A k-satisfiability solver based on Knuth dancing-links X algorithm.
- Updated
Jul 19, 2019 - C
Improve this page
Add a description, image, and links to thek-sat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thek-sat topic, visit your repo's landing page and select "manage topics."