forward-checking | Topic | Ecosyste.ms: Repos

Topic: "forward-checking"

Amirhossein-Rajabpour/Constraint-Satisfaction-Problems

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

Language: Python - Size: 718 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 20 - Forks: 2

chanioxaris/kenken-solver

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

Language: Python - Size: 139 KB - Last synced at: 22 days ago - Pushed at: about 6 years ago - Stars: 20 - Forks: 2

biqar/puzzle-solver

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

Language: C++ - Size: 3.17 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 3

ToniRV/Constraint-Satisfaction-Notebook

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

Language: Jupyter Notebook - Size: 5.27 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 3

sevdaimany/Puzzle-Solver

🧩Using backtracking algorithm to solve binary puzzles

Language: Python - Size: 4.12 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 0

huaminghuangtw/Parallel-Sudoku-Solver

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

Language: C++ - Size: 3.83 MB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 5

radinshayanfar/AI_Projects

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

Language: Java - Size: 5.43 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 0

msanpe/Sudoku-Backtracking-AC3-Forward-Checking

Java Sudoku solver using AC3, Forward checking and Backtracking algorithms

Language: Java - Size: 90.8 KB - Last synced at: over 1 year ago - Pushed at: almost 9 years ago - Stars: 7 - Forks: 5

Vasundhara-Boomi/Hospital-Workforce-Scheduling-System

A solution centered around AI-driven scheduling, designed to optimize staff allocation, enhance patient care, and streamline hospital operations. It integrates advanced scheduling algorithms that prioritize staff preferences, ensure designated days off, and dynamically allocate doctors, nurses, and receptionists based on demand and availability.

Language: Python - Size: 5.4 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 5 - Forks: 1

uab-projects/crossword 📦

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

Language: Python - Size: 1.37 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 3

2arian3/Artificial-Intelligence

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

Language: Python - Size: 1.39 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

niibruce/ConstraintSolver

Implementation of Constraint Solvers in Java

Language: Java - Size: 150 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 2

billsioros/kenken-python

A Kenken puzzle generator & solver

Language: Python - Size: 36.1 KB - Last synced at: 10 days ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 2

zahrasalarian/CSP-Sudoku

CSP-Sudoku solver

Language: Python - Size: 19.7 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

erfanghasemi/sudoku_solver

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.

Language: Python - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

valenpe7/nonogram_solver

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

Language: Java - Size: 243 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

Haydart/NQueensProblem

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

Language: Java - Size: 32.2 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 0

cordisvictor/easycsp-lib

EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include NQueens, Sudoku. (Builds on Sourceforge)

Language: Java - Size: 449 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

kirilchikal/CSP

Implementing CSP with Forward Checking constraint propagation on the example of solving Binary and Futoshiki puzzle

Language: C# - Size: 310 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

mohammadtavakoli78/Artificial-Intelligence

This repository is projects of Artificial Intelligence course

Language: Python - Size: 4.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

maede43/SimpleVersionKakuro_solver

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

Language: Java - Size: 38.1 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

apurva-modi/CS580-Intro-to-Artificial-Intelligence

Contains notebook implementations for the AI based assignments using graph based algorithms that are commonly used in solving AI based problems. Algorithms include BFS, DFS, Hill Climbing, Differential Evolution, Genetic, Back Tracking..

Language: Jupyter Notebook - Size: 4.49 MB - Last synced at: 19 days ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 2

wadieskaf/Jigsaw-Sudoku

Python code to solve Jigsaw Sudoku

Language: Python - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

alinadirkhanloo/sudoku

solving sudoku problems with csp

Language: Python - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

HamzaAnis/resource-management-problem

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

Language: C++ - Size: 2.62 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

barannmeisterr/Two-Step-Graph-Traversal-Directed-Graph

takes a starting takes a point in a directed graph and shows the nodes that are reachable within two steps

Language: Java - Size: 7.81 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

SkullkyAI/Crossword-Puzzle-Resolver

Implementación de algoritmos de búsqueda con restricciones para resolver crucigramas, aplicando backtracking y forwardchecking. Desafío de IA con niveles de dificultad crecientes y validación de resultados en un proyecto práctico.

Language: Python - Size: 1.56 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

le-n-qui/constraints-verifying-solver

The solver finds a solution to the problem given the constraints. No solution may be found if all the constraints are not satisfied.

Language: Python - Size: 43 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

JoenHo/sudoku-solver

Solve Sudoku as a Constraint Satisfaction Problem

Language: Python - Size: 60.5 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

arashsm79/ravenous-polarity

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

Language: Rust - Size: 39.1 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

gadgil-devashri/csp-map-coloring

This code was submitted as programming project two for ITCS 6150 Intelligent Systems under Dr. Dewan Ahmad at the University of North Carolina at Charlotte for the fall 2021 semester. The aim is to solve the constraint satisfaction problem of map coloring for the USA and Australia.

Language: Python - Size: 51.5 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 3

Robert27/SudokuSolver

Simple Sudoko solver written in Python

Language: Python - Size: 3.91 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

rhalm/2d-packing-with-constraints

A simple solution to a Constraint Satisfaction Problem using forward checking and MRV heuristics

Language: Python - Size: 10.7 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

amir78729/AI-projects

Language: Python - Size: 12.3 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

laurmaedje/sudoku

Tree-searching sudoku solver with forward checking.

Language: Rust - Size: 4.88 KB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

JohnPapad/KenKen-Solver

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

Language: Python - Size: 93.8 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

urvishjarvis1/cpnets

cpnets

Language: Java - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

YuHu0621/SudokuSolver

Language: Java - Size: 62.5 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

htaghizadeh/Map-Coloring-By-CSP

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

Language: Pascal - Size: 1.07 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

theroadnotaken/AI-Projects

Artificial Intelligence Projects

Language: Python - Size: 7.7 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1

Nikos25K/RLFAP

📻📡 The Radio Link Frequency Assignment Problem

Language: Python - Size: 152 KB - Last synced at: 15 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

panagiotiskon/Time-Tabling-CSP

🗓 Exam Timetabling Problem

Language: Python - Size: 132 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

adamnelsonarcher/Solving-Constraint-Satisfaction-Problem

Made for COSC4368 initally, modified the program to be general-solution and work with any domain or constraint set provided. Obviously the program would need to be optimized if a highly efficient algorithm is needed for a set of constraints.

Language: Python - Size: 16.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

baptisteauduge/picross-solver

Programme de résolution de puzzles de types "Picross" grâce à un algorithme de programmation dynamique, puis algorithme d'exploration partielle d'un arbre d'énumération (type algorithme de retour arrière avec "forward checking")

Language: C++ - Size: 93.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ErfanXH/Sudoku

Sudoku AI Generator and Solver

Language: Python - Size: 35.2 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

TelevisionNinja/Sudoku-Solver

This was a university AI project where I had to implement different constraint satisfaction problem methods and use them to solve sudoku puzzles

Language: Python - Size: 36.1 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

super-m-a-n/csp-algorithms-for-rlfap

Implementation of constraint satisfaction problem algorithms to solve the radio link frequency assignment problem - rlfap

Language: Python - Size: 112 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

fardinanam/CSE318-AI-Sessional

Contains all the assignments of the course CSE-318 offered in CSE, BUET

Language: Java - Size: 15.2 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

noahfree/ai-sudoku-solver

This is a sudoku solver by doing backtracking search with forward checking using an MRV and degree heuristic. This was worked on in a group of myself and two other members.

Language: Python - Size: 6.84 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ananestorovic/Planner-CSP

Language: Java - Size: 107 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

hamedrq7/Magnet-puzzle-as-a-CSP

This is a homework about Formulating a game called "Magnet Puzzle" into CSP, then using Backtracking, Forward Checking to solve it. Various heuristics such as MRV, LCV, Arc consistency (AC3) is used to improve the searching performance. This homework is a part of many projects in a Fundamentals to AI course @ FUM.

Language: Java - Size: 4.68 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

SMojtabaE/Sudoku-Solver

A university project for AI class that Solve Sudoku usinig CSP algorithms like backtracking and forwardchecking,and for heuristic uses MRV and Degree

Language: Python - Size: 4.88 KB - Last synced at: 8 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

TrueSepehr/SudokuSolver

A program to solve Sudoku with Backtracking.

Language: Java - Size: 7.81 KB - Last synced at: 2 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

marti1999/Crossword-Solver

Crossword solver using Backtracking with Forward Checking and MRV

Language: Python - Size: 2.36 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

het-patel99/Crossword-Puzzle-as-CSP

A puzzle consisting of a grid of squares and blanks into which words are to be filled vertically and horizontally. In the crossword puzzle, we have a grid with blocked and unblocked cells and a dictionary of words. We want to assign a letter to each unblocked cell so that each vertical or horizontal contiguous segment of unblocked cells forms a word that appears in the dictionary.

Language: Java - Size: 455 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0