forward-checking

Artificial Intelligence Course 3rd Project: Implementing CSP Backtracking, Forward Checking and MAC Algorithms in order to solve a binary puzzle

Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)

This repository contains generic platform for solving and benchmarking computational puzzles using different search strategies

🧩Using backtracking algorithm to solve binary puzzles

Example lecture for Constraint Satisfaction Problems in an interactive jupyter notebook. With python code to solve CSPs, with visualization of Sudoku and NQueens problems.

AUT Principles and Applications of Artificial Intelligence course (Fall 2020) projects

Java Sudoku solver using AC3, Forward checking and Backtracking algorithms

Using CSP algorithm with Forward Checking for solving Sudoku Puzzle

🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++.

Implementation of Constraint Solvers in Java

All AUT's principles and applications of artificial intelligence course projects.

This project is a sudoku-solver implement by Constraint satisfaction problem. We add the colour option to our sudoku problem as if the number of a place is bigger than other neighbours, the colour of that place must be higher in a given colour's priority. We use the Constraint satisfaction problem(CSP), as we said before, in additional apply degree and MRV heuristic for selecting a variable. After we assigned a value to the selected variable, apply forward-checking to update the domain of variables. If there is a solution for the sudoku problem, we report it; otherwise, the search is unsuccessful, and we have not a solution.

Project focuses on optimised implementation of Backtracking and Forward Checking algorithms in order to find all solutions of the N Queens problem

A Kenken puzzle generator & solver

Solving resource management problem using backtracking,back jumping and forward checking. Edit Add topics

simple Java implementation of nonogram solver based on constraint satisfaction programming using several heuristics

Project to learn and understand backtracking algorithms with the goal to solve a crossword puzzle

kakuro (simple version) solver as CSP problem - Artificial Intelligence course project - Spring 2021

A futoshiki solver tool using backtracking with some pruning methods.

sudoku resolving using AI algorithms

solving sudoku problems with csp

Simple Sudoko solver written in Python

Implementation of CSP heuristics and backtracking algorithm for magnet puzzle in Rust.

CSP-Sudoku solver

cpnets

Artificial Intelligence Projects

Graph coloring by CSP (CONSTRAINT SATISFACTION PROBLEMS) algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach" - Chapter 5.

Python code to solve Jigsaw Sudoku

A KenKen python solver that represents the game as a Constraint Satisfaction Problem (CSP) and can use several algorithms for its solution.